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

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

Weitere Versionen anzeigen (1)
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!
Beschreibung
Beschreibung:1 Online-Ressource (XIX, 532 Seiten) Diagramme
ISBN:9783319661070
ISSN:0302-9743
DOI:10.1007/978-3-319-66107-0

Ähnliche Einträge