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 "Logic Programming" wurden 59 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Akademische Verlagsgesellschaft AKA (1)
Atlantis Press (2)
Springer Berlin (47)
Springer International Publishing (9)
Produktart
Gebunden (3)
Kartoniert / Broschiert (56)
Herausgeber
Alferes, Jose Julio Moniz Pereira, Luis Orlowska, Eva (1)
Arikawa, Setsuo Sharma, Arun K. (1)
Atzeni, Paolo (1)
Barahona, Pedro Alferes, Jose J. (1)
Boley, Harold Richter, Michael M. (1)
Bossi, Annalisa (1)
Bruynooghe, Maurice Penjam, Jaan (1)
Bundy, Alan (1)
Calimeri, Francesco Hamlen, Kevin Leone, Nicola (1)
Ceri, Stefano Tanaka, Katsumi Tsur, Shalom (1)
Codognet, Philippe (1)
Comon, Hubert Marche, Claude Treinen, Ralf (1)
Cussens, James Frisch, Alan (1)
Darlington, John Dietrich, Roland (1)
Delobel, Claude Kifer, Michael Masunaga, Yoshifumi (1)
Deransart, Pierre Maluszynski, Jan (1)
Dyckhoff, Roy Herre, Heinrich Schroeder-Heister, Peter (1)
Eriksson, Lars-Henrik Hallnäs, Lars Schroeder-Heister, Peter (1)
Filgueiras, Michel Damas, Luis M.M. (1)
Fisher, Michael Owens, Richard (1)
Flener, Pierre (1)
Furbach, Ulrich Nerode, Anil (1)
Ganzinger, Harald McAllester, David Voronkov, Andrei (1)
Gelfond, Michael Leone, Nicole Pfeifer, Gerald (1)
Glück, Robert Kafle, Bishoksan (1)
Gottlob, Georg Leitsch, Alexander Mundici, Daniele (1)
Gupta, Gopal (1)
Gupta, Gopal Peña, Ricardo (1)
Hatcliff, John Mogensen, Torben Thiemann, Peter (1)
Heering, Jan Meinke, Karl Möller, Bernhard Nipkow, Tobias (1)
Ianni, Giovambattista Lembo, Domenico Bertossi, Leopoldo Faber, Wolfgang Glimm, Birte Gottlob, Georg Staab, Steffen (1)
Jouannaud, Jean-Pierre (1)
Kirchner, Helene Levi, Giorgio (1)
Kodratoff, Yves (1)
Kuchen, Herbert Ueda, Kazunori (1)
LeCharlier, Baudouin (1)
Levi, Giorgio (1)
Levi, Giorgio Rodriguez-Artalejo, Mario (1)
Maluszynski, Jan Wirsing, Martin (1)
Mayoh, Brian Tyugu, Enn Penjam, Jaan (1)
Meer, Klaus Rabinovich, Alexander Ravve, Elena Villaveces, Andrés (1)
Middeldorp, Aart Sato, Taisuke (1)
Ohlbach, Hans J. (1)
Palamidessi, Catuscia Glaser, Hugh Meinke, Karl (1)
Pearce, David Wansing, Heinrich (1)
Pereira, Louis M. Przymusinski, Teodor C. (1)
Pfenning, Frank (1)
Proietti, Maurizio (1)
Toumani, Farouk Pernici, Barbara Grigori, Daniela Benslimane, Djamal Mendling, Jan Ben Hadj-Alouane, Nejib Blake, Brian Perrin, Olivier Saleh Moustafa, Iman Bhiri, Sami (1)
Voronkov, Andrei (1)
Autor
Aggarwal, Charu C. (2)
Bürckert, Hans-Jürgen (1)
Jacquet, Jean-Marie (1)
Janssen, Jeroen Schockaert, Steven Vermeir, Dirk De Cock, Martine (2)
Wagner, Gerd (1)
Zese, Riccardo (1)
Zhou, Neng-Fa Kjellerstrand, Håkan Fruhman, Jonathan (1)
Schlagworte
> (1)
Abstract Data Types (1)
Abstract Interpretation (1)
Abstrakte Datentypen (1)
Abstrakte Interpretation (1)
Agent Technology (1)
AI Logics (2)
Algebraic Programming (1)
Algebraisches Programmieren (1)
Algebric Programming (1)
algorithm (3)
Algorithmic Learning (2)
Algorithmisches Lernen (1)
algorithms (6)
Alternating Automata (1)
Analysis (1)
Answer Set Programming (5)
Artificial Intelligence (4)
Artificial intelligence (1)
artificial intelligence (7)
Ausführbare Logiken (1)
Automat (3)
Automated Deduction (3)
Automated Program Development (1)
Automated Reasoning (1)
automated reasoning (5)
Automated Theorem Proving (1)
Automatisches Schließen (3)
Beschränkte Quantoren (1)
C programming language (1)
classification (2)
Cloud Computing (1)
Combinatorial Search (1)
Commonsense Reasoning (1)
Compiler (1)
Compiler Construction (1)
Compilerbau (1)
Compilers And Interpreters (1)
Complex Objects (1)
complexity (4)
Complexity of REal and Algebraic Computations (1)
Computational Learning (1)
Computational Logic (4)
Computational Logics (2)
Constraint Logic Programming (4)
Constraint Programming (5)
Continuous Optimization (2)
Data Mining (2)
Deductive Databases (3)
Deductive Reasoning (2)
Deduktion und Beweisen (2)
Deduktive Datenbanken (4)
Deep Learning (2)
Dynamic Programming (3)
Extension (5)
formal specification (2)
Functional Programming (9)
functional programming (3)
Funktionales Programmieren (3)
Fuzzy Logic (2)
Horn Clauses (2)
intelligence (2)
KI-Logiken (2)
knowledge (3)
Knowledge Representation (8)
Linear Logic (2)
logic (20)
Logic Programming (59)
Logisches Programmieren (7)
Machine Learning (4)
Mathematical Logic (3)
Natural Language Processing (2)
Natürlichsprachliche Verarbeitung (2)
Neural Networks (2)
Nichtklassische Logiken (2)
Nichtmonotones Schließen (2)
Nonclassical Logics (5)
Nonmonotonic Reasoning (3)
nonmonotonic reasoning (3)
Object-Oriented Databases (2)
Partial Evaluation (4)
Processing (2)
Program Analysis (4)
Program Semantics (3)
Program Synthesis (3)
Program Transformation (4)
Programmierparadigmen (2)
Programmierung (EDV) (2)
programming (18)
programming language (3)
Programming Languages Implementation (2)
PROLOG (2)
Prolog (4)
Reasoning (2)
Reinforcement Learning (2)
Resolution (3)
Rewriting Systems (2)
Search (2)
Software Engineering (2)
Wissens-Darstellung (2)
Veröffentlicht
1990 (1)
1991 (1)
1992 (1)
1993 (1)
1994 (1)
1995 (1)
1996 (1)
1997 (1)
1998 (2)
1999 (1)
2000 (1)
2001 (1)
2012 (1)
2014 (1)
2015 (1)
2016 (1)
2017 (1)
2021 (1)
2022 (1)
2023 (1)
2025 (1)
Sprache
Englisch (59)
Artificial Intelligence
58,85 CHF*
In den Warenkorb
Reasoning Web. Semantic Interoperability on the Web
53,50 CHF*
In den Warenkorb
Probabilistic Semantic Web
60,00 CHF*
In den Warenkorb
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
107,00 CHF*
In den Warenkorb
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
107,00 CHF*
In den Warenkorb
Constraint Programming
53,50 CHF*
In den Warenkorb
Computational Logic and Proof Theory
53,50 CHF*
In den Warenkorb
Declarative Programming, Sasbachwalden 1991
53,50 CHF*
In den Warenkorb
Programming Language Implementation and Logic Programming
53,50 CHF*
In den Warenkorb
Static Analysis
53,50 CHF*
In den Warenkorb
LOGIDATA+: Deductive Databases with Complex Objects
53,50 CHF*
In den Warenkorb
Higher-Order Algebra, Logic, and Term Rewriting
53,50 CHF*
In den Warenkorb
Logic Program Synthesis and Transformation
53,50 CHF*
In den Warenkorb
Logic Programming and Automated Reasoning
53,50 CHF*
In den Warenkorb
GWAI-92: Advances in Artificial Intelligence
53,50 CHF*
In den Warenkorb
Logic-Based Program Synthesis and Transformation
51,35 CHF*
In den Warenkorb
Logic Programming
53,50 CHF*
In den Warenkorb
Algorithmic Learning Theory
53,50 CHF*
In den Warenkorb
Non-Monotonic Extensions of Logic Programming
53,50 CHF*
In den Warenkorb
A Resolution Principle for a Logic with Restricted Quantifiers
53,50 CHF*
In den Warenkorb
Logic Programming and Automated Reasoning
53,50 CHF*
In den Warenkorb
Processing Declarative Knowledge
53,50 CHF*
In den Warenkorb
Logics in Artificial Intelligence
53,50 CHF*
In den Warenkorb
Partial Evaluation: Practice and Theory
53,50 CHF*
In den Warenkorb
1
2
3
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
