Search

You searched for: Auteur Dershowitz, Nachum Remove constraint Auteur: Dershowitz, Nachum
1 - 6 of 6
Number of results to display per page

Search Results

1. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Author:
Dershowitz, Nachum; Siekmann, Jörg; Voronkov, Andrei
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
2. Fields of Logic and Computation
thumbnail
Full text!
Author:
Blass, Andreas; Dershowitz, Nachum; Kanade, Takeo; Reisig, Wolfgang
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
3. Fields of Logic and Computation II
thumbnail
Full text!
Author:
Beklemishev; Blass, Andreas; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram
Publisher:
Springer International Publishing 2015
Format:
e-book
4. Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
thumbnail
Full text!
Author:
Blass; Cégielski, Patrick; Dershowitz, Nachum; Droste, Manfred; Finkbeiner, Bernd
Publisher:
Springer International Publishing 2020
Format:
e-book
5. Pillars of Computer Science
thumbnail
Full text!
Author:
Avron, Arnon; Dershowitz, Nachum; Rabinovich, Alexander; Trakhtenbrot, Boris Avraamovich; Rabinovich, Alexander B.
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
6. Unconventional Computation
thumbnail
Full text!
Author:
Calude, Cristian S.; Costa, José Félix; Dershowitz, Nachum; Freire, Elisabete; Kanade, Takeo; Rozenberg, Grzegorz; da Costa, Jose Felix Gomes
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book