Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

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

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

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

21 - 30 von 38

Alle Materialarten

Alle Kataloge/Sammlungen

Teilbestand nach VGG (9)

Alle Standorte

Alle Normdaten

Personen (1)

Aktionen