Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: "SEKI" and "Working" and "Paper"
im Bestand: Gesamter Bestand

1 - 10 von 16

	1	Automating quantified multimodal logics in simple type theory Benzmüller, Christoph. - Bremen : German Research Center for Artificial Intelligence (DFKI GmbH) [u.a.], 2009
	2	Granularity adaptive proof presentation Schiller, Marvin. - Bremen : German Research Center for Artificial Intelligence (DFKI GmbH) [u.a.], 2009
	3	On requirements for programming exercises from an e-learning perspective Loría-Sáenz, Carlos. - Saarbrücken : Univ., Fachrichtung Informatik, 2008
	4	Thomas S. Kuhn: the structure of scientific revolutions Saarbrücken : Univ., Fachrichtung Informatik, 2007
	5	A self-contained and easily accessible discussion of the method of descente infinie and Fermat's only explicitly known proof by descente infinie Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
	6	Dependently typed set theory Brown, Chad E.. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
	7	Progress in computer-assisted inductive theorem proving by human-orientedness and descente infinie? Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
	8	Designing a GUI for proofs Homik, Martin. - Saarbrücken : Univ., Fachrichtung Informatik, 2005
	9	A Mathematical Knowledge Base for Proving Theorems in Semigroup and Automata Theory Schütt, Barbara. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
	10	ART Modularisierung von Induktionsbeweisen über Gleichungsspezifikationen Eschbach, Robert. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999

1 - 10 von 16

Alle Materialarten

Alle Standorte

Aktionen