Yazar
Nachum Dershowitz
24 cilt bulundu.
Nachum Dershowitz, Edward M. Reingold · Cambridge University Press
512 sayfa · 1997
Mathematics / Calendar / Computing and Information Technology / Computers / Computers - General Information
Nachum Dershowitz · Dept. of Computer Science, University of Illinois at Urbana-Champaign
136 sayfa · 1980
Computer programming / Abstraction / Programmation assistée / Programmeren (computers) / Programmation (Informatique)
Nachum Dershowitz · Dept. of Computer Science, University of Illinois at Urbana-Champaign
33 sayfa · 1979
Trees (Graph theory) / Combinatorial enumeration problems
Nachum Dershowitz · Dept. of Computer Science, University of Illinois at Urbana-Champaign
Sayfa sayısı yok · 1979
Computational complexity / Automatic theorem proving
Nachum Dershowitz · Dept. of Computer Science, University of Illinois at Urbana-Champaign
Sayfa sayısı yok · 1979
Directed graphs / Computer algorithms / Data processing
Nachum Dershowitz · Dept. of Computer Science, University of Illinois at Urbana-Champaign
30 sayfa · 1979
Computer programs / Recursive functions
Nachum Dershowitz, Ephraim Nissan · Springer London, Limited
885 sayfa · 2014
Computer science / Information theory / Information storage and retrieval systems / Artificial intelligence / Translators (Computer programs)
Yuri Gurevich, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig · Springer
626 sayfa · 2010
Softwarespezifikation / Komplexitätstheorie / Mathematische Logik / Symbolic and mathematical Logic / Berechenbarkeit
B. A. Trakhtenbrot, Arnon Avron, Nachum Dershowitz, Alexander Rabinovich · Springer
681 sayfa · 2008
Mathematics / Computer science / Computer science, mathematics
Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte · Springer London, Limited
329 sayfa · 2015
Logic
International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem), Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on Automata, Naomi Lindenstrauss, Nachum Dershowitz · Springer
378 sayfa · 1995
Congresses / Computer programming / Rewriting systems (Computer science) / Algorithms / Mathematical theory of computation
Nachum Dershowitz · Dept. of Computer Science, University of Illinois at Urbana-Champaign
54 sayfa · 1986
Logic programming / Functional programming languages
Nachum Dershowitz · Dept. of Computer Science, University of Illinois at Urbana-Champaign
58 sayfa · 1985
Rewriting systems (Computer science) / Ordered sets / Automatic theorem proving
Nachum Dershowitz · Springer-Verlag
782 sayfa · 2004
Verification / Computer software / Computer software, verification
Nachum Dershowitz, Ephraim Nissan · Springer
760 sayfa · 2014
Computer science / Digital humanities / Law / Data processing / Information theory
Nachum Dershowitz, Ephraim Nissam · Springer London, Limited
604 sayfa · 2014
Computer science / Information theory / Information storage and retrieval systems / Artificial intelligence / Translators (Computer programs)
Andreas Blass, Nachum Dershowitz, Wolfgang Reisig · Springer London, Limited
Sayfa sayısı yok · 2010
Kategori yok
Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Prof. Manfred Droste, Bernd Finkbeiner · Springer International Publishing AG
Sayfa sayısı yok · 2020
Kategori yok