Grundlagen des maschinellen Beweisens 1
bokomslag Grundlagen des maschinellen Beweisens
Vetenskap & teknik

Grundlagen des maschinellen Beweisens

Ralf-Detlef Kutsche

Pocket

609:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 174 sidor
  • 1991
  • Författare: Ralf-Detlef Kutsche
  • Format: Pocket/Paperback
  • ISBN: 9783528147181
  • Språk: Tyska
  • Antal sidor: 174
  • Utgivningsdatum: 1991-10-01
  • Förlag: Springer Fachmedien Wiesbaden

Du kanske gillar

  1. bokomslag Einführung in die Mathematische Logik

    Einführung in die Mathematische Logik

    Wolfgang Rautenberg

    Pocket

    519:-
  2. bokomslag Formalisieren und Beweisen

    Formalisieren und Beweisen

    Dirk Siefkes

    Pocket

    769:-
  3. bokomslag Automatentheorie und Logik

    Automatentheorie und Logik

    Martin Lange Martin Hofmann

    Pocket

    449:-
  4. bokomslag Grundlagen des maschinellen Beweisens

    Grundlagen des maschinellen Beweisens

    Ralf-Detlef Kutsche Dieter Hofbauer

    Pocket

    749:-
  5. bokomslag Big Data Management and Analytics

    Big Data Management and Analytics

    Esteban Zimányi Ralf-Detlef Kutsche

    Pocket

    749:-
  6. bokomslag Theorie der logischen Programmierung

    Theorie der logischen Programmierung

    Peter H Schmitt

    Pocket

    749:-
  7. bokomslag Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software En...

    Herbert Weber Ralf-Detlef Kutsche

    Pocket

    749:-
  8. bokomslag Logikkalküle in der Informatik

    Logikkalküle in der Informatik

    Michael Schenke

    Pocket

    419:-
  9. bokomslag Das Geschenk

    Das Geschenk

    Birgit Kutsche

    Inbunden

    599:-
  10. bokomslag Metakritik der Formalen Logik

    Metakritik der Formalen Logik

    L Eley

    Pocket

    879:-