Format:
XIV, 427 S. :
,
graph. Darst.
Edition:
2. ed.
ISBN:
0-521-54310-X
,
978-0-521-54310-1
Note:
Hier auch später erschienene, unveränderte Nachdrucke
Language:
English
Subjects:
Computer Science
Keywords:
Prädikatenlogik
;
Modallogik
;
Programmierung
;
Mathematische Logik
;
Informatik
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015198721&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Author information:
Ryan, Mark, 1962-