Interactive theorem proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Conference on Interactive Theorem Proving Brasília (VerfasserIn)
Weitere Verfasser:	Ayala-Rincón, Mauricio (HerausgeberIn), Muñoz, César A. (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham Springer [2017]
Schriftenreihe:	Lecture Notes in Computer Science 10499
Schlagworte:	Computer science Computer system failures Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs System Performance and Evaluation Software Engineering Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Informatik Künstliche Intelligenz HOL Automatisches Beweisverfahren Konferenzschrift
Online-Zugang:	BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge