Automated reasoning Part 1

Bibliographische Detailangaben

Körperschaft:	IJCAR (VerfasserIn)
Weitere Verfasser:	Peltier, Nicolas (HerausgeberIn), Sofronie-Stokkermans, Viorica (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2020
Schriftenreihe:	Lecture notes in computer science 12166
Schlagworte:	Konferenzschrift > Programmierlogik
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!