Logic for Programming, Artificial Intelligence, and Reasoning
Nachum Dershowitz, Andrei Voronkov
Häftad, 2007
572 kr
Logic for Programming, Artificial Intelligence, and Reasoning
14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
AvAndrei Voronkov,Nachum Dershowitz
E-bok
PDF, Engelska, 2007739 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 9300
Fields of Logic and Computation II
Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
Häftad, 2015
556 kr
Fields of Logic and Computation III
Bernd Finkbeiner, Manfred Droste, Nachum Dershowitz, Patrick Cegielski, Andreas Blass
E-bok
2020739 kr
Unconventional Computation
Christian S. Calude, Jose Felix Gomes da Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg
Häftad, 2009
564 kr
Del 12180
Fields of Logic and Computation III
Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
Häftad, 2020
572 kr