• 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. Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
  • #
  • #

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

48.14 EUR

Teilen:
Gesponsert

Undergraduate Topics in Computer Science: Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

Medimops DE
48.14 EUR
21-04-2026 02:22:51
Gesponsert

Applied Logic for Computer Scientists

SpringerLink DE
48.14 EUR
21-04-2026 06:17:47
Gesponsert

Applied Logic for Computer Scientists, Fachbücher von Mauricio Ayala-Rincón, Flávio L. C. de Moura

Galaxus.de
48.14 EUR
21-04-2026 13:13:46

Ähnliche Produkte

Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic)

Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic)

53.49 EUR
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic, 10, Band 10)

Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic, 10, Band 10)

53.49 EUR
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic (11), Band 11)

A Proof Theory for General Unification (Progress in Computer Science and Applied Logic (11), Band 11)

48.98 EUR
Snyder, W.: A Proof Theory for General Unification

Snyder, W.: A Proof Theory for General Unification

53.49 EUR
Applied Logic for Computer Scientists

Applied Logic for Computer Scientists

37.44 EUR
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

69.98 EUR
Multi-valued Logic for Decision-Making Under Uncertainty

Multi-valued Logic for Decision-Making Under Uncertainty

213.99 EUR
Algorithms for Constructing Computably Enumerable Sets

Algorithms for Constructing Computably Enumerable Sets

58.96 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.