Format:
XIII, 415 S. :
,
graph. Darst. ;
,
24 cm.
ISBN:
978-3-642-02272-2
,
3-642-02272-3
Series Statement:
Lecture notes in computer science 5608
Note:
Literaturangaben
Language:
English
Subjects:
Computer Science
Keywords:
Typisierter Lambda-Kalkül
;
Computational logic
;
Kategorientheorie
;
Konferenzschrift
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017644408&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
URL:
http://d-nb.info/994283113/04