Computer Science Logic Luke Ong
53,49 €
Titel: Computer Science Logic, Untertitel: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, Einband: Taschenbuch, Autor: Luke Ong, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 584, Maße: 235x155x32 mm, Gewicht: 873 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI AI logics Computational Logic Constraint Linear Logic Logic Programming Semantics classical logic complexity finite models higher order logic lambda calculus logic nonclassical logic verifi verification.
Jetzt bei Ebay:
