Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 4790)

Book title Buchtitel

ISBN

978-3-540-75558-6

Editor Herausgeber_in

Dershowitz, Nachum
Voronkov, Andrei

Publisher Herausgeber

Springer
Springer Lecture Notes in Computer Science

Place of publishing Erscheinungsort

LNCS 4790
4790

DOI

10.1007/978-3-540-75560-9

Volume Band

4790

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Simkus, Mantas ; Eiter, Thomas	FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols	Konferenzbeitrag Inproceedings	2007
	2		Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian	Monadic Fragments of Gödel Logics: Decidability and Undecidability Results	Konferenzbeitrag Inproceedings	2007