Logic for Programming, Artificial Intelligence, and Reasoning
14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Nachum Dershowitz
Themen in »Logic for Programming, Artificial Intelligence, and Reasoning«
Automat artificial intelligence automated reasoning formal method intelligence logic programming
Stimmen zu »Logic for Programming, Artificial Intelligence, and Reasoning«
Details
ISBN: 9783540755609
Verlag: Springer Berlin
Erscheinung: 07.10.2007