Ihre Suche erzielte 6 Treffer.

Ergebnisse
	1.	Exploring the power of automated reasoning von Wos, Larry, 1930- [oth] Pieper, Gail W [oth] Reihen: ; 1.2000 \| The collected works of Larry Wos ; 1.2000 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Singapore [u.a.] World Scientific 2000 Online-Ressourcen: Zentralblatt MATH Inhaltstext Verfügbarkeit: Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1). Zum Korb hinzufügen (Entfernen)
	2.	Applying automated reasoning to puzzles, problems, and open questions von Wos, Larry, 1930- [oth] Pieper, Gail W [oth] Reihen: ; 2.2000 \| The collected works of Larry Wos ; 2.2000 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Singapore [u.a.] World Scientific 2000 Online-Ressourcen: Zentralblatt MATH Inhaltstext Verfügbarkeit: Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1). Zum Korb hinzufügen (Entfernen)
	3.	Vol. 1: Exploring the power of automated reasoning. Vol. 2 Applying automated reasoning to puzzles, problems, and open questions von Wos, Larry, 1930- [oth] Pieper, Gail W [oth] Reihen: ; 3.2000 \| The collected works of Larry Wos ; 3.2000 Auflage: [Elektronische Ressource] Materialtyp: Text Sprache: Englisch Verlag: Singapore [u.a.] World Scientific 2000 Verfügbarkeit: Keine Exemplare verfügbar. Zum Korb hinzufügen (Entfernen)
	4.	Automated reasoning and its applications essays in honor of Larry Wos ed. by Robert Veroff with Gail W. Pieper von Veroff, Robert [oth] Pieper, Gail W [oth] Wos, Larry [oth] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge, Mass. [u.a.] MIT Press 1997 Online-Ressourcen: Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) VER r 1997:1 1.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	5.	A fascinating country in the world of computing your guide to automated reasoning von Pieper, Gail W Wos, Larry Materialtyp: Text; Format: Druck ; Literarische Form: Sachliteratur Verlag: World Scientific 1999 Verfügbarkeit: Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1). Zum Korb hinzufügen (Entfernen)
	6.	The collected works of Larry Wos Larry Wos; Gail W. Pieper von Wos, Larry, 1930- [oth] Pieper, Gail W [oth] Materialtyp: Gesamtaufnahme Sprache: Englisch Verlag: Singapore [u.a.] World Scientific 2000 - Verfügbarkeit: Keine Exemplare verfügbar. Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha