bib.howest.be Zoekresultaten

U zocht naar: Auteur Dershowitz, Nachum

1 - 6 van 6

1. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Dershowitz, Nachum; Siekmann, Jörg; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

2. Fields of Logic and Computation

Auteur:: Blass, Andreas; Dershowitz, Nachum; Kanade, Takeo; Reisig, Wolfgang
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

3. Fields of Logic and Computation II

Auteur:: Beklemishev; Blass, Andreas; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram
Uitgever:: Springer International Publishing 2015
Type:: e-book

4. Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Auteur:: Blass; Cégielski, Patrick; Dershowitz, Nachum; Droste, Manfred; Finkbeiner, Bernd
Uitgever:: Springer International Publishing 2020
Type:: e-book

5. Pillars of Computer Science

Auteur:: Avron, Arnon; Dershowitz, Nachum; Rabinovich, Alexander; Trakhtenbrot, Boris Avraamovich; Rabinovich, Alexander B.
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

6. Unconventional Computation

Auteur:: Calude, Cristian S.; Costa, José Félix; Dershowitz, Nachum; Freire, Elisabete; Kanade, Takeo; Rozenberg, Grzegorz; da Costa, Jose Felix Gomes
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book