Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
1st ed. 1981, 1981
- Link zum Volltext
1st ed. 1965, [1970]
- Link zum Volltext
Second edition, [1983]
- Link zum Volltext
2001
- Link zum Volltext
- An electronic book accessible through the World Wide Web; click for information
1760
- Link zum Volltext
- Deutschlandweit zugänglich
1st ed. 1980, [1980]
- Link zum Volltext
1st ed. 2009, [2009]
- Link zum Volltext
1984
- Link zum Volltext
- An electronic book accessible through the World Wide Web; click for information
First edition, [2020]
- Link zum Volltext
First edition, [1990]
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Logic Colloquium
- Gabbay, Dov M
- Dalen, Dirk
- International Conference on Automated Deduction
- Nerode, Anil
- Vardi, Moshe Y
- Dalen, D. van
- Ebbinghaus, Heinz-Dieter
- Hutchison, David
- Kanade, Takeo
- Kittler, Josef
- Kleinberg, Jon M
- Löwe, Benedikt
- Mattern, Friedemann
- Mitchell, John C
- Naor, Moni
- Nierstrasz, Oscar
- Pandu Rangan, C
- Steffen, Bernhard
- Sudan, Madhu
Erscheinungsform
Schlagwort
- Logic, Symbolic and mathematical
- Mathematics
- Mathematical Logic and Foundations
- Computer science
- Logic
- Artificial intelligence
- Philosophy (General)
- Philosophy
- Algebra
- Symbolic and Algebraic Manipulation
- Mathematical logic
- Computer science—Mathematics
- Mathematical Logic and Formal Languages
- Logic design
- Artificial Intelligence (incl. Robotics)
- Artificial Intelligence
- Combinatorics
- Information theory
- Mathematische Logik
- Number theory
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts