Zum Hauptinhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Herzlich Willkommen!
Bitte wählen Sie Ihr Versandland aus:
Schweiz
Liechtenstein
Auswahl bestätigen
Mehr Infos: Haupt Newsletter
Mehr Bücher: Hauptverlag
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 CHF*
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zur Kategorie Bücher
Belletristik
Kinder- & Jugendbuch
Kochen
Natur & Garten
Gestalten & Textiles
Architektur & Design
Bücher-Abos
Bücher-Gutscheine
Restexemplare Haupt Verlag
Haupt Verlag
Neuerscheinungen
Natur & Garten
Geschichte & Kultur
Gestalten & Design
Fachbuch
Zur Kategorie Geschenke
Bücher-Abos
Kalender
Schreibwaren
Spiele
Puzzles
Kleinigkeiten
Zur Kategorie Kurse & Events
Kurse Atelier 14B
Events
Haupt auswärts
Zur Kategorie Service
Erweiterte Suche
Bestellservice
Geschäftskunden
Bibliotheken
Atelier 14B mieten
Kontakt
Zur Kategorie Über uns
Unser Laden
Team
Firmenportrait
Menü schließen
Fr
Schweizer Franken
Fr
CHF
€
EUR
Kategorien
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zu "first-order logic" wurden 31 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Peter Lang GmbH, Internationaler Verlag der Wissenschaften (1)
Springer Berlin (16)
Springer International Publishing (12)
Springer Nature EN (1)
Springer US (2)
Produktart
Gebunden (4)
Kartoniert / Broschiert (28)
Herausgeber
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Schmitt, Peter H. Ulbrich, Mattias (1)
Aloni, Maria Bastiaanse, Harald de Jager, Tikitu Schulz, Katrin (1)
Appice, Annalisa Ceci, Michelangelo Loglisci, Corrado Masciari, Elio Ras, Zbigniew W. (1)
Artemov, Sergei Nerode, Anil (1)
Bach, Joscha Edelkamp, Stefan (1)
Beckert, Bernhard Marché, Claude (1)
Benzmüller, Christoph Heule, Marijn J.H. Schmidt, Renate A. (1)
Berghofer, Stefan Nipkow, Tobias Urban, Christian Wenzel, Makarius (1)
Birkedal, Lars (1)
Blanchette, Jasmin Christian Merz, Stephan (1)
Bove, Ana Barbosa, Luis Soares Pardo, Alberto Pinto, Jorge Sousa (1)
Brünnler, Kai Metcalfe, George (1)
Ceci, Michelangelo Loglisci, Corrado Manco, Giuseppe Masciari, Elio Ras, Zbigniew W. (1)
Cha, Sungdeok Choi, Jin-Young Kim, Moonzoo Viswanathan, Mahesh (1)
Dubois, Catherine (1)
Hasuo, Ichiro (1)
He, Xiangdong Horty, John Pacuit, Eric (1)
Lee, David Lopes, Antonia Poetzsch-Heffter, Arnd (1)
Ono, Hiroakira Kanazawa, Makoto de Queiroz, Ruy (1)
Siegler, Simon Wasser, Nathan (1)
Tinelli, Cesare Sofronie-Stokkermans, Viorica (1)
Autor
Antonsen, Roger (2)
Börger, Egon Grädel, Erich Gurevich, Yuri (1)
Csirmaz, Laszlo Gyenis, Zalán (2)
Konrad, Karsten (1)
Nievergelt, Yves (2)
Schreiner, Wolfgang (2)
Wolenski, Jan (1)
Schlagworte
abstract datatypes (2)
Agda (1)
algorithms (2)
applications sets and functions (2)
Artificial Intelligence (1)
artificial intelligence (2)
Automata (1)
automata theory (3)
Bell-La Padula (1)
Boolean functions (1)
classification (2)
clustering (2)
Combinatorics (1)
complexity (2)
Computer Engineering and Networks (1)
computer science (2)
Computer Science Logic and Foundations of Programming (1)
Computer science—Mathematics (1)
Computerhardware (1)
Coq (2)
data mining (2)
data stream mining (2)
Decision problem (1)
Description Logics (1)
Discrete Mathematics in Computer Science (1)
Diskrete Mathematik (1)
dynamic logic (3)
Ehrenfeucht-Fraisse (1)
ensemble methods (2)
epistemic logic (3)
Equational logic and rewriting (1)
feature selection (2)
first-order logic (32)
Formal Languages and Automata Theory (1)
formal logic (3)
formal methods (7)
formal modeling (2)
formal reasoning (2)
formal semantics (2)
formal verification (2)
foundations mathematics (2)
Fourier transform (1)
Gale and Shapely algorithm (2)
Gentzen (1)
GPAC-generable functions (1)
Graph Theory (1)
Gödel logic (1)
Gödel’s theorems (2)
Higher order logic (1)
HOL (1)
inference rules (2)
Interactive proof systems (1)
Intuitionistic Logics (1)
Java (2)
knowledge discovery (2)
Künstliche Intelligenz (1)
Logic (1)
logic (3)
Logic and verification (1)
logic in computer science (2)
machine learning (2)
Math transition course textbook (2)
Mathematical foundations (1)
mathematical induction (2)
Mathematical logic (1)
mathematical logic (2)
Mathematical Logic and Foundations (1)
Mathematik: Logik (1)
Maths for computer scientists (1)
MIZAR (1)
ML (1)
Modal and temporal logics (1)
modal logic (2)
Modal Logics (1)
model checking (6)
modeling (2)
Nash equilibrium (2)
NLP (1)
Non-Classical Logics (1)
OCaml (1)
Open Access (1)
parallel algorithms (2)
Peano axiom system (2)
PEGL (1)
predicate calculus (2)
prisoner's dilemma (2)
problem solving (2)
Processing (1)
program specification (2)
program verification (2)
Proof theory (2)
propositional calculus (2)
Propositional Logic (1)
propositional logic (3)
recursion theory (2)
SAT solvers (1)
Satisfiability Solving (1)
Semantics (1)
ultraproducts (2)
universal algebra (2)
Veröffentlicht
2001 (1)
2004 (1)
2008 (1)
2009 (1)
2010 (1)
2011 (1)
2012 (1)
2015 (2)
2016 (1)
2017 (1)
2019 (1)
2021 (2)
2022 (1)
2023 (1)
2024 (1)
Sprache
Englisch (32)
Logical Foundations of Computer Science
53,50 CHF*
In den Warenkorb
Automated Reasoning with Analytic Tableaux and Related Methods
53,50 CHF*
In den Warenkorb
Foundations of Software Science and Computational Structures
53,50 CHF*
In den Warenkorb
Interactive Theorem Proving
53,50 CHF*
In den Warenkorb
Verification, Induction, Termination Analysis
53,50 CHF*
In den Warenkorb
Coalgebraic Methods in Computer Science
53,50 CHF*
In den Warenkorb
Tests and Proofs
53,50 CHF*
In den Warenkorb
The Classical Decision Problem
192,60 CHF*
In den Warenkorb
Model Generation for Natural Language Interpretation and Analysis
53,50 CHF*
In den Warenkorb
Logical Methods
42,80 CHF*
In den Warenkorb
Logic, Language, Information and Computation
53,50 CHF*
In den Warenkorb
Deductive Software Verification – The KeY Book
128,40 CHF*
In den Warenkorb
New Frontiers in Mining Complex Patterns
53,50 CHF*
In den Warenkorb
Automated Technology for Verification and Analysis
53,50 CHF*
In den Warenkorb
New Frontiers in Mining Complex Patterns
53,50 CHF*
In den Warenkorb
Formal Techniques for Distributed Systems
53,50 CHF*
In den Warenkorb
Logic, Rationality, and Interaction
53,50 CHF*
In den Warenkorb
Logic, Language and Meaning
53,50 CHF*
In den Warenkorb
Theorem Proving in Higher Order Logics
53,50 CHF*
In den Warenkorb
KI 2011: Advances in Artificial Intelligence
53,50 CHF*
In den Warenkorb
Language Engineering and Rigorous Software Development
53,50 CHF*
In den Warenkorb
Logic, Mathematics, and Computer Science
50,30 CHF*
In den Warenkorb
Logic, Mathematics, and Computer Science
69,55 CHF*
In den Warenkorb
Mathematical Logic
53,50 CHF*
In den Warenkorb
1
2
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
