Frontiers of combining systems 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FroCoS Brasília (VerfasserIn)
Weitere Verfasser:	Dixon, Clare (HerausgeberIn), Finger, Marcelo (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Cham Springer [2017]
Schriftenreihe:	Lecture notes in computer science 10483 : Lecture notes in artificial intelligence
Schlagworte:	Computer science Software engineering Algorithms Computer logic Mathematical logic Artificial intelligence Application software Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity Computer Appl. in Administrative Data Processing Informatik Künstliche Intelligenz Computational logic Terminologische Logik Automatisches Beweisverfahren Logik Komplexitätstheorie Theoretische Informatik Verifikation Programmierung Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge