Logic for Programming, Artificial Intelligence, and Reasoning
Nachum Dershowitz, Andrei Voronkov
Häftad, 2007
562 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, 2007734 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
546 kr
Fields of Logic and Computation III
Bernd Finkbeiner, Manfred Droste, Nachum Dershowitz, Patrick Cegielski, Andreas Blass
E-bok
2020734 kr
Unconventional Computation
Christian S. Calude, Jose Felix Gomes da Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg
Häftad, 2009
546 kr
Language, Culture, Computation: Computing - Theory and Technology
Ephraim Nissan, Nachum Dershowitz
E-bok
2014708 kr
Del 12180
Fields of Logic and Computation III
Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
Häftad, 2020
562 kr