Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 January 2026.

Ergebnis der Suche nach: "124196314"
im Bestand: Gesamter Bestand

21 - 30 von 38

	21	Killer transformations Ohlbach, Hans Jürgen. - Saarbrücken : MPI Informatik, [1994]
	22	Temporal logic Berlin : Springer, 1994
	23	Automated practical reasoning and argumentation Saarbrücken : Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes, c 1993
	24	Classical vs non-classical logics Gabbay, Dov M.. - Saarbrücken : MPI Informatik, 1993
	25	Fibred semantics and the weaving of logics / 1. 1993
	26	Towards automating duality Brink, Chris. - Saarbrücken : MPI Informatik, 1993
	27	Quantifier elimination in second-order predicate logic Gabbay, Dov M.. - Saarbrücken : MPI Informatik, 1992
	28	Logic finite automata and constraint logic finite automata Gabbay, Dov M.. - München : CIS, [1991]
	29	Elements of algorithmic proof Gabbay, Dov M.. - München : CIS, [1990]
	30	Semantical Investigations in Heyting’s Intuitionistic Logic Gabbay, Dov M.. - Dordrecht : Springer Netherlands, 1981