Direkt zum Inhalt
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395, Band 395)

AKTUELLE PARTNERANGEBOTE

Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395, Band 395)

Brand : Springer, Binding : Taschenbuch, Edition : 1989, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 184, publicationDate : 2008-06-13, authors : Manfred Schmidt-Schau??, ISBN : 3540517057

2 Angebote · ab 37,44 € gemeldete Gesamtkosten