• Brauchen Sie Hilfe?
  • DE
    US CA UK ES FR DE IT
logo
  • Kategorien
    • Baby & Kleinkind
    • Bekleidung & Accessoires
    • Bürobedarf
    • Elektronik
    • Fahrzeuge & Teile
    • Für Erwachsene
    • Gesundheit & Schönheit
    • Heim & Garten
    • Heimwerkerbedarf
    • Kameras & Optik
    • Kunst & Unterhaltung
    • Medien
    • Möbel
    • Nahrungsmittel, Getränke & Tabak
    • Software
    • Spielzeuge & Spiele
    • Sportartikel
    • Taschen & Gepäck
    • Tiere & Tierbedarf
    • Wirtschaft & Industrie
  • Information
    • Über uns
    • Geschäftsbedingungen
    • Datenschutz-Bestimmungen
  • Blog
  • Kontakt
  1. Home
  2. Medien
  3. Bücher
  4. Computational Logic and Proof Theory
  • #
  • #

Computational Logic and Proof Theory

53.49 EUR

Teilen:
Gesponsert

Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... Notes in Computer Science, 1289, Band 1289)

Medimops DE
53.49 EUR
21-04-2026 02:38:09
Gesponsert

Computational Logic and Proof Theory

SpringerLink DE
53.49 EUR
21-04-2026 06:21:10

Ähnliche Produkte

Logic and Computational Complexity

Logic and Computational Complexity

53.49 EUR
Model-Based Reasoning in Science and Technology

Model-Based Reasoning in Science and Technology

213.99 EUR
Computational Logic and Proof Theory: Third Kurt Gdel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gdel ... Notes in Computer Science

Computational Logic and Proof Theory: Third Kurt Gdel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gdel ... Notes in Computer Science

53.49 EUR
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

48.14 EUR
Yu, Liang: Recursion Theory

Yu, Liang: Recursion Theory

143.84 EUR
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines

Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines

155.34 EUR
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

152.06 EUR
Conceptual Graphs and Fuzzy Logic: A Fusion for Representing and Reasoning with Linguistic Information

Conceptual Graphs and Fuzzy Logic: A Fusion for Representing and Reasoning with Linguistic Information

106.99 EUR

Gør dine indkøb enklere med Deal.Shopping. Opdag konkurrencedygtige priser, eksklusive rabatter og de bedste butikker samlet ét sted.

  • 275 New North Road Islington #1689 London, N17AA, UK
  • 1178 Broadway - 3rd Floor, New York, NY 10001, USA

Information

  • Über uns
  • Geschäftsbedingungen
  • Datenschutz-Bestimmungen
  • Kontakt

© Copyright 2026 Deal.Shopping - All Rights Reserved.