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
€
Euro
Fr CHF
€ EUR
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 "Automated theorem proving" wurden 7 Produkte gefunden
Filter
Filter
Nur Neuerscheinungen
Verlag
Springer International Publishing (1)
Springer London (1)
Springer Singapore (4)
tredition (1)
Produktart
Gebunden (2)
Kartoniert / Broschiert (5)
Herausgeber
Ao, Sio-Iong Gelman, Len Kim, Haeng Kon (4)
Fleuriot, Jacques Wang, Dongming Calmet, Jacques (1)
Autor
Dowek, Gilles (1)
Sachin (1)
Themengebiete
Algorithm (1)
Algorithmic interpretation of proofs (1)
Artificial intelligence (1)
Automated theorem proving (7)
Bayesian Networks (4)
Computability (1)
Computer algebra systems (2)
Computing methodologies (4)
Constructivity (1)
Convex programing (2)
Convex programming (2)
Crowdsourcing (1)
Cut elimination (1)
Decidability (1)
Discrete Mathematics and Control (4)
Distributed Artificial Intelligence (4)
First-order logic (1)
Formal logic (1)
Geometric reasoning (1)
Human-computer interaction (2)
Human-computer interection (2)
Inference engines (1)
Intelligent documents (1)
Internet (1)
Knowledge graphs (1)
Lambda-calculus (1)
Machine learning (1)
Machine learning for knowledge representation (1)
Mathematical knowledge management (1)
Matrix theory (4)
Natural deduction (1)
Neural Fuzzy Systems (4)
Nonlinear Time Series (2)
Ontology learning (1)
Problem solving (1)
Proof (1)
Propositional logic (1)
Reasoning systems (1)
Semantic networks (1)
Symbolic AI (1)
Veröffentlichungsdatum
2011 (1)
2018 (1)
2020 (1)
2021 (1)
2024 (1)
Sprache
Englisch (7)
HOME
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Transactions on Engineering Technologies
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Transactions on Engineering Technologies
213,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Proofs and Algorithms
37,40 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Transactions on Engineering Technologies
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Transactions on Engineering Technologies
213,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Artificial Intelligence and Symbolic Computation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
AI's Knowledge Web: Logic Unleashed
26,10 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Zurück