Automated Reasoning

Book title Buchtitel

Automated Reasoning

ISBN

978-3-031-10769-6

Publisher Herausgeber

Springer International Publishing

DOI

10.1007/978-3-031-10769-6

Series Schriftenreihe

Lecture Notes in Computer Science

Volume Band

13385

Filter:

Author: Bernreiter, Michael

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Bernreiter, Michael ; Lolic, Anela ; Maly, Jan ; Woltran, Stefan	Sequent Calculi for Choice Logics	Inproceedings Konferenzbeitrag	1-Aug-2022