Angebote zu "Beweis" (61 Treffer)

Kategorien

Shops

Newborn, M.: Automated Theorem Proving
170,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 15.12.2000, Medium: Buch, Einband: Pappe, Titel: Automated Theorem Proving, Titelzusatz: Theory and Practice, Autor: Newborn, M., Verlag: Springer-Verlag GmbH // Springer US, Schlagworte: Begründung // Beweis // Intelligenz // Künstliche Intelligenz // KI // AI // Logik // Philosophie // Mathematik // Roboter // Robotik // Industrieroboter // Informatik // Computer // COMPUTERS // Machine Theory // MATHEMATICS // General // Mathematik: Logik // Theoretische Informatik, Rubrik: Informatik, Seiten: 231, Informationen: Inkl. CD-ROM (f. Unix, Linux, IBM C++), Gewicht: 517 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 09.12.2019
Zum Angebot
Grundlagen des maschinellen Beweisens
54,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 01.01.1989, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Grundlagen des maschinellen Beweisens, Titelzusatz: Eine Einführung für Informatiker und Mathematiker, Auflage: 1989, Autor: Hofbauer, Dieter // Kutsche, Ralf-Detlef, Verlag: Vieweg+Teubner Verlag // Vieweg & Teubner, Sprache: Deutsch, Schlagworte: Begründung // Beweis // EDV // Theorie // Allgemeines // Informatik // Mathematik // Maschine // Mathematik für Ingenieure, Rubrik: Informatik, Seiten: 184, Informationen: Paperback, Gewicht: 304 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 09.12.2019
Zum Angebot
Fleuriot, J: Combination of Geometry Theorem Pr...
117,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 08.06.2001, Medium: Buch, Einband: Gebunden, Titel: A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia, Auflage: 2001, Autor: Fleuriot, Jacques, Verlag: Springer London, Sprache: Englisch, Schlagworte: Analysis // Calculus // Begründung // Beweis // Geometrie // Raumlehre // Logik // Philosophie // Mathematik // Newton // Isaac // Theoretische Informatik, Rubrik: Informatik, Seiten: 160, Informationen: HC runder Rücken kaschiert, Gewicht: 412 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 09.12.2019
Zum Angebot
Computer Aided Verification
103,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 08.08.2006, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Computer Aided Verification, Titelzusatz: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Auflage: 2006, Redaktion: Ball, Thomas // Jones, Robert B., Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Begründung // Beweis // Logik // Philosophie // Verifikation // verifizieren // Computerprogrammierung und Softwareentwicklung // Informatik // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 584, Informationen: Paperback, Gewicht: 873 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 09.12.2019
Zum Angebot
Deduction, Computation, Experiment
88,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 30.07.2008, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Deduction, Computation, Experiment, Titelzusatz: Exploring the Effectiveness of Proof, Redaktion: Lupacchini, Rossella // Corsi, Giovanna, Verlag: Springer-Verlag GmbH // Springer Italia, Sprache: Englisch, Schlagworte: Begründung // Beweis // Mathematik // Logik // Philosophie // Informatik // Computer // COMPUTERS // Computer Science // MATHEMATICS // Logic // PHILOSOPHY // Theoretische Informatik // Geschichte // Wissenschaftsphilosophie und // theorie, Rubrik: Philosophie // Allgemeines, Lexika, Seiten: 280, Herkunft: ITALIEN (IT), Gewicht: 551 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 09.12.2019
Zum Angebot
Types for Proofs and Programs
70,29 € *
ggf. zzgl. Versand

Erscheinungsdatum: 02.10.1996, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Types for Proofs and Programs, Titelzusatz: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers, Auflage: 1996, Redaktion: Berardi, Stefano // Coppo, Mario, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Begründung // Beweis // EDV // Theorie // Informatik // Allgemeines // Logik // Philosophie // Betriebssysteme // Computerprogrammierung und Softwareentwicklung // Programmier // und Skriptsprachen // allgemein // Software Engineering // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 312, Informationen: Paperback, Gewicht: 477 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 09.12.2019
Zum Angebot
Theorem Proving in Higher Order Logics
86,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 08.08.2005, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theorem Proving in Higher Order Logics, Titelzusatz: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings, Auflage: 2005, Redaktion: Hurd, Joe // Melham, Tom, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Begründung // Beweis // Intelligenz // Künstliche Intelligenz // KI // AI // Logik // Philosophie // Computerprogrammierung und Softwareentwicklung // Informatik // Theoretische Informatik // Systemanalyse und // design // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 424, Informationen: Paperback, Gewicht: 639 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 09.12.2019
Zum Angebot
Computational Logic and Proof Theory
79,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 13.08.1997, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Computational Logic and Proof Theory, Titelzusatz: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings, Auflage: 1997, Redaktion: Gottlob, Georg // Leitsch, Alexander // Mundici, Daniele, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Begründung // Beweis // EDV // Theorie // Informatik // Allgemeines // Logik // Philosophie // Mathematische Grundlagen // Algorithmen und Datenstrukturen // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Theoretische Informatik // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 364, Informationen: Paperback, Gewicht: 552 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 09.12.2019
Zum Angebot
Efficient Checking of Polynomials and Proofs an...
70,29 € *
ggf. zzgl. Versand

Erscheinungsdatum: 13.12.1995, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems, Auflage: 1995, Redaktion: Sudan, Madhu, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Algorithmus // Approximation // Differenzenapproximation // Näherungsrechnung // Rechnen // Begründung // Beweis // EDV // Theorie // Informatik // Mathematik // Polynom, Rubrik: Mathematik // Arithmetik, Algebra, Seiten: 108, Informationen: Paperback, Gewicht: 210 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 09.12.2019
Zum Angebot