Format:
442 S. :
,
graph. Darst.
ISBN:
3-540-55813-6
,
0-387-55813-6
Series Statement:
NATO: NATO ASI series / F 94
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Logische Programmierung
;
Programmierung
;
Algebraische Spezifikation
;
Algebra
;
Hardware
;
Spezifikation
;
Logik
;
Algebraische Spezifikation
;
Logik
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005489042&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005489042&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Author information:
Bauer, Friedrich L. 1924-2015
