Format:
162 S.
ISBN:
3-540-52734-6
,
0-387-52734-6
Series Statement:
Lecture notes in mathematics 1429
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Logische Programmierung
;
Funktionale Programmiersprache
;
Komplexitätstheorie
;
Programmverifikation
;
Konstruktive Logik
;
Informatik
;
Mathematische Logik
;
Datenverarbeitung
;
Mathematische Logik
;
Mathematische Logik
;
Logik
;
Informatik
;
Aufsatzsammlung
;
Konferenzschrift
;
Aufsatzsammlung
;
Konferenzschrift
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002328043&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=002328043&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA