Computer Science Logic (LNCS 6247/2010)

Book title Buchtitel

Editor Herausgeber_in

Dawar, Anuj
Veith, Helmut

Publisher Herausgeber

Springer

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Baaz, Matthias ; Fermüller, Christian	A resolution mechanism for Prenex Gödel logic	Konferenzbeitrag Inproceedings	2010