fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

 Seite 1 von 2
Anzahl pro Seite
Sortiert nach
Produkte: 17 Seite 1 von 2 Filter
Anzahl Produkte: 17 Lecture Notes in Artificial Intelligence Grundlagen der Mathematik
Kapur

Automated Deduction - CADE-11  

Automated Deduction - CADE-11
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Kapur

Automated Deduction - CADE-11

  • Verlag: Springer
  • ISBN: 978-3-540-55602-2 (Buch)
  • Erscheinungstermin: 27.05.1992
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Galmiche

Automated Reasoning with Analytic Tableaux and Related Methods  

Automated Reasoning with Analytic Tableaux and Related Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Galmiche

Automated Reasoning with Analytic Tableaux and Related Methods

  • Verlag: Springer
  • ISBN: 978-3-540-62920-7 (Buch)
  • Erscheinungstermin: 29.04.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Graf

Term Indexing  

Term Indexing
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Graf

Term Indexing

  • Verlag: Springer
  • ISBN: 978-3-540-61040-3 (Buch)
  • Erscheinungstermin: 27.03.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Hussain / Jiang / Ren

Advances in Brain Inspired Cognitive Systems  

Advances in Brain Inspired Cognitive Systems
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Hussain / Jiang / Ren

Advances in Brain Inspired Cognitive Systems

  • Verlag: Springer
  • ISBN: 978-981-962884-1 (Buch)
  • Erscheinungstermin: 11.03.2025
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Miglioli / Moscato / Mundici

Theorem Proving with Analytic Tableaux and Related Methods  

Theorem Proving with Analytic Tableaux and Related Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Miglioli / Moscato / Mundici

Theorem Proving with Analytic Tableaux and Related Methods

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61208-7 (Buch)
  • Erscheinungstermin: 24.04.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Voronkov

Logic Programming and Automated Reasoning  

Logic Programming and Automated Reasoning
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Voronkov

Logic Programming and Automated Reasoning

  • Verlag: Springer
  • ISBN: 978-3-540-55727-2 (Buch)
  • Erscheinungstermin: 01.07.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Cimiano / Frank / Kohlhase

Robust Argumentation Machines  

Robust Argumentation Machines
139,09 € (inkl. MwSt.) 129,99 € (zzgl. MwSt.)
Cimiano / Frank / Kohlhase

Robust Argumentation Machines

  • Verlag: Springer
  • ISBN: 978-3-031-63535-9 (Buch)
  • Erscheinungstermin: 17.07.2024
  • Lieferzeit ca. 10 Werktage
139,09 € (inkl. MwSt.) 129,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Williams

Instantiation Theory  

Instantiation Theory
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Williams

Instantiation Theory

  • Verlag: Springer
  • ISBN: 978-3-540-54333-6 (Buch)
  • Erscheinungstermin: 07.08.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Hutter / Stephan

Mechanizing Mathematical Reasoning  

Mechanizing Mathematical Reasoning
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Hutter / Stephan

Mechanizing Mathematical Reasoning

  • Verlag: Springer
  • ISBN: 978-3-540-25051-7 (Buch)
  • Erscheinungstermin: 23.02.2005
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Zhang / Lukose

Distributed Artificial Intelligence: Architecture and Modelling  

Distributed Artificial Intelligence: Architecture and Modelling
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zhang / Lukose

Distributed Artificial Intelligence: Architecture and Modelling

  • Verlag: Springer
  • ISBN: 978-3-540-61314-5 (Buch)
  • Erscheinungstermin: 12.06.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Filter
Anzahl pro Seite
Sortiert nach

Verfügbarkeit