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 "linear logic" wurden 13 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Springer Basel (1)
Springer Berlin (7)
Springer International Publishing (4)
Springer Nature EN (1)
Produktart
Kartoniert / Broschiert (13)
Herausgeber
Artemov, Sergei Nerode, Anil (2)
Béziau, Jean-Yves Jacquette, Dale (1)
Cerrito, Serenella Popescu, Andrei (1)
Duparc, Jacques Henzinger, Thomas A. (1)
Lecomte, Alain Tronçon, Samuel (1)
Marcinkowski, Jerzy (1)
Martí-Oliet, Narciso Ölveczky, Peter Csaba Talcott, Carolyn (1)
Ong, Luke (1)
Stuckey, Peter J. (1)
Thomsen, Michael Kirkedal Soeken, Mathias (1)
Ésik, Zoltán (1)
Autor
Moot, Richard Retore, Christian (1)
Schlagworte
3-SAT (1)
Action (1)
AI logics (3)
ai logics (1)
artificial intelligence (2)
automata and automatic structures (1)
automated deduction and interactive theorem proving (1)
automated reasoning (1)
C (1)
calculi (1)
calculus (1)
categorical logic and topological semantics (1)
classical logic (4)
coherence spaces (1)
complexity (4)
computational linguistics (1)
computational logic (4)
computer science (2)
computer science logic (1)
Constraint (2)
constraint logic (1)
constructive mathematics and type theory (1)
context-sensitive rewriting (1)
Coq (1)
deduction (1)
denotational semantics (1)
dialogical logic (1)
differential equations (1)
discourse theory (1)
domain theory logics (2)
dynamic processes (1)
epistemic and temporal logics (1)
equational logic and term rewriting (1)
Erfüllbarkeitsproblem der Aussagenlogik (1)
finite models (3)
Formal Languages and Automata Theory (1)
formal logic (1)
formal methods (1)
formal verification (1)
game theoretical semantics (1)
game theory (1)
heuristics (1)
high-performance computing (1)
higher order logic (2)
homotopy type theory (1)
information flow control (1)
interaction-oriented computing (1)
intuitionistic logic (1)
knowledge (1)
knowledge base (1)
knowledge-based system (1)
lambda and combinatory calculi (1)
lambda calculus (2)
Lambek calculus (1)
learning (1)
linear logic (13)
logic (5)
logic games (1)
logic in computer science (1)
logic in game theory and social software, (1)
logic of hybrid systems, distributed system logics (1)
logic programming (1)
logic programming and constraints (2)
logic synthesis (1)
logical aspects of computational complexity (2)
logical foundations of database theory (2)
logical foundations of programming (1)
logics of proof and justification (1)
ludics (1)
Mathematical logic (1)
mathematical logic (2)
Mathematical Logic and Formal Languages (1)
Maude (1)
modal logic (2)
natural language processing (1)
natural-language syntax (1)
paraconsistent logic (1)
problem solving (1)
program semantics (1)
programming (1)
programming languages (1)
proof theory (1)
quantum circuit (1)
quantum computation (1)
quantum computers (1)
reversible circuits (1)
reversible computation (1)
semantics (1)
syllogism (1)
Veröffentlicht
2002 (1)
2004 (1)
2005 (1)
2006 (1)
2007 (1)
2011 (1)
2012 (1)
2015 (1)
2017 (1)
2019 (1)
Sprache
Englisch (13)
Automated Reasoning with Analytic Tableaux and Related Methods
53,50 CHF*
In den Warenkorb
Reversible Computation
62,05 CHF*
In den Warenkorb
Around and Beyond the Square of Opposition
53,50 CHF*
In den Warenkorb
Logical Foundations of Computer Science
53,50 CHF*
In den Warenkorb
Computer Science Logic
53,50 CHF*
In den Warenkorb
Ludics, Dialogue and Interaction
53,50 CHF*
In den Warenkorb
Computer Science Logic
107,00 CHF*
In den Warenkorb
The Logic of Categorial Grammars
74,90 CHF*
In den Warenkorb
Logic, Rewriting, and Concurrency
53,50 CHF*
In den Warenkorb
Computer Science Logic
53,50 CHF*
In den Warenkorb
Computer Science Logic
107,00 CHF*
In den Warenkorb
Logic Programming
53,50 CHF*
In den Warenkorb
Logical Foundations of Computer Science
0,00 CHF*
Details
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
