Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Haben Sie Fragen? Einfach anrufen, wir helfen gerne:
Tel. 089/210233-0
oder besuchen Sie
unser Ladengeschäft in der Pacellistraße 5
(Maxburg) 80333 München
+++
Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen?
Tel. 089/210233-0
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
Kreditkarten
0,00 €*
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN
Zur Kategorie STUDIENLITERATUR
Wichtige Studienliteratur
Prüfungszugelassene Titel
AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service
Menü schließen
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN
Zu "computational logic" wurden 47 Produkte gefunden
Filter
Filter
Nur Neuerscheinungen
Verlag
Springer Berlin (39)
Springer International Publishing (8)
Produktart
Gebunden (3)
Kartoniert / Broschiert (44)
Herausgeber
Abramsky, Samson (1)
Alur, Rajeev Peled, Doron A. (1)
Artikis, Alexander Craven, Robert Kesim Cicekli, Nihan Sadighi, Babak Stathis, Kostas (1)
Aylett, Ruth Lim, Mei Yii Louchart, Sandy Petta, Paolo Riedl, Mark (1)
Beckmann, Arnold Berger, Ulrich Löwe, Benedikt Tucker, John V. (1)
Bouajjani, Ahmed Maler, Oded (1)
Brinksma, Ed Larsen, Kim G. (1)
Bruynooghe, Maurice (1)
Bruynooghe, Maurice Lau, Kung-Kiu (1)
Cantone, Domenico Pulvirenti, Alfredo (1)
Conejo, Ricardo Urretavizcaya, Maite Pérez-de-la-Cruz, José-Luis (1)
Corradini, Andrea Klin, Bartek Cîrstea, Corina (1)
Damm, Werner Hermanns, Holger (1)
Davenport, James H. Kauers, Manuel Labahn, George Urban, Josef (1)
Davis, Martin Fehnker, Ansgar McIver, Annabelle Voronkov, Andrei (1)
Dix, Jürgen Fisher, Michael Novák, Peter (1)
Duparc, Jacques Henzinger, Thomas A. (1)
Etalle, Sandro (1)
Etessami, Kousha Rajamani, Sriram K. (1)
Hattori, Hiromitsu Kawamura, Takahiro Ide, Tsuyoshi Yokoo, Makoto Murakami, Yohei (1)
Hill, Patricia M. (1)
Hofmann, Martin (1)
Hunt, Jr., Warren A. Somenzi, Fabio (1)
Kirrane, Sabrina Šimkus, Mantas Soylu, Ahmet Roman, Dumitru (1)
Kohlhase, Michael Johansson, Moa Miller, Bruce de Moura, Leonardo Tompa, Frank (1)
Larrosa, Javier O'Sullivan, Barry (1)
Lau, Kung-Kiu (1)
Leite, João (1)
Leite, João Torroni, Paolo (1)
Leuschel, M. (1)
Ong, Luke (1)
Palamidessi, Catuscia (1)
Pettorossi, Alberto (1)
Puebla, Germán (1)
Ramanujam, R. Sarukkai, Sundar (1)
Satoh, Ken Inokuchi, Akihiro Nagao, Katashi Kawamura, Takahiro (1)
Stock, Oliviero Schaerf, Marco (1)
Stuckey, Peter J. (1)
Urzyczyn, Pawel (1)
Washio, Takashi Satoh, Ken Takeda, Hideaki Inokuchi, Akihiro (1)
Zeevat, Henk Schmitz, Hans-Christian (2)
Ésik, Zoltán (1)
Autor
Gómez Ramírez, Danny A. J. (2)
Lloyd, John W. (2)
Themengebiete
Action (1)
agent communication (3)
agent cooperation (2)
agent negotiation (2)
agents (2)
AI logics (4)
ai logics (2)
algorithm (2)
algorithmic learning (2)
algorithms (12)
analysis of counter factuals (2)
Argumentation (1)
argumentation (2)
artificial intelligence (9)
automata (6)
automata theory (2)
automated deduction (5)
automated reasoning (3)
Bayesian interpretation (2)
Bayesian natural language semantics (2)
Bayesian networks (2)
Bayesian Pragmatics (2)
BDI agents (2)
bioinformatics (2)
calculi (2)
calculus (2)
categorical methods (2)
causal Bayesian models (2)
classical logic (3)
commutative algebra (2)
Compiler (1)
complexity (6)
computational intelligence (3)
computational learning (3)
computational logic (47)
computational natural language interpretation (2)
computer aided verification (3)
Constraint (2)
constraint logic (3)
constraint programming (5)
Coq (1)
CSP (1)
data mining (3)
Debugging (2)
deduction (4)
Digital Storytelling (1)
Erfüllbarkeitsproblem der Aussagenlogik (5)
Extension (1)
finite models (3)
formal method (2)
Formal methods (1)
formal methods (13)
formal program analysis (3)
formal verification (4)
foundations of mathematics (2)
functional programming (7)
Galois and Fields theory (2)
heuristics (2)
higher order logic (2)
higher-order logic (3)
imperative programming (5)
intelligence (2)
intelligent agents (2)
Interactive Storytelling (1)
Java (1)
knowledge (4)
knowledge representation (2)
LA (1)
lambda calculus (5)
learning (4)
linear logic (4)
logic (20)
logic program manipulation (4)
logic programming (8)
logical relations (3)
MAC-DBT (1)
machine learning (4)
MAS (1)
mathematical logic (2)
model checking (2)
multi-agent systems (2)
Multimedia (1)
Museum (1)
nonmonotonic reasoning (2)
optimization (2)
Program analysis (2)
program analysis (2)
program logics (2)
program semantics (5)
Prolog (4)
Resolution (1)
Signal processing and probability (2)
Signatur (1)
symbolic computation (2)
Syntax (2)
Syntax-semantics distinction (2)
Text (1)
theory of Lie groups (2)
Variable (2)
Video (1)
Veröffentlichungsdatum
2001 (1)
2002 (2)
2003 (1)
2004 (2)
2005 (1)
2006 (1)
2007 (1)
2008 (1)
2009 (1)
2010 (1)
2011 (1)
2012 (1)
2015 (1)
2016 (1)
2018 (1)
2020 (1)
2021 (1)
2024 (1)
Sprache
Englisch (47)
HOME
1
2
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Logic Based Program Synthesis and Transformation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Computer Aided Verification
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Mathematical Software – ICMS 2018
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Computer Aided Verification
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Computational Logic in Multi-Agent Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Typed Lambda Calculi and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Computer Aided Verification
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Program Development in Computational Logic
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
From Computational Logic to Computational Biology
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Artificial Mathematical Intelligence
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Bayesian Natural Language Semantics and Pragmatics
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Computer Science Logic
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
New Frontiers in Artificial Intelligence
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Computer Science Logic
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Logic and Its Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Logic for Learning
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Intelligent Computer Mathematics
44,94 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
New Frontiers in Artificial Intelligence
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Typed Lambda Calculi and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Logic Based Program Synthesis and Transformation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Computational Logic in Multi-Agent Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Artificial Mathematical Intelligence
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
New Frontiers in Artificial Intelligence
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Logic Programs, Norms and Action
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
1
2
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Zurück