Automated Reasoning. IJCAR 2022

Book title Buchtitel

ISBN

978-3-031-10769-6

Editor Herausgeber_in

Blanchette, Jasmin
Kovacs, Laura
Pattinson, Dirk

Publisher Herausgeber

Springer

DOI

10.1007/978-3-031-10769-6

Series Schriftenreihe

Lecture Notes in Computer Science

Volume Band

13385

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Authors / Editors	Title	Type	Issue Date
	1		Cauli, Claudia ; Ortiz, Magdalena ; Piterman, Nir ; Blanchette, Jasmin ; Kovacs, Laura ; Pattinson, Dirk	Actions over Core-Closed Knowledge Bases	Inproceedings Konferenzbeitrag	2022