Ihre Suche erzielte 16 Treffer.

Ergebnisse
	1.	Vollständige Induktion in der Geometrie von L. I. Golowina und I. M. Jaglom. [Nach einer Übers. von R. Fredersdorf und M. Schmidt bearb. von B. Klotzek und S. Kloth] von Golovina, Lidija Ivanovna [aut] Jaglom, Isaak M, 1921-1988 [aut] Golovina, Lidija Ivanovna. O matematičeskoj indukcii <dt.> Reihen: ; 26 \| Mathematische Schülerbücherei ; 75 \| Hochschulbücher für Mathematik / Kleine Ergänzungsreihe ; 26 Materialtyp: Text; Format: Druck Sprache: Deutsch Originalsprache: Russisch Verlag: Berlin Dt. Verl. der Wiss. 1973 Online-Ressourcen: Inhaltsverzeichnis Vollständige Induktion in der Geometrie Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) GOL l4 1973:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Nondiscrete induction and iterative processes F.-A. Potra; V. Ptak von Potra, F.-A [aut] Ptak, Vlastimil [aut] Reihen: Pitman advanced publishing program \| ; 103 \| Research notes in mathematics ; 103 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Boston [u.a.] Pitman 1984 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis NONDISCRETE INDUCTION AND ITERATIVE PROCESSES / F.-A. POTRA AND V. PTAK Inhaltsverzeichnis 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) RNM 103 2.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Structural induction on partial algebras by Horst Reichel von Reichel, Horst [aut] Reihen: ; 2 \| Introduction to theory and application of partial algebras ; 2 \| Mathematical research ; 18 Auflage: Als Ms. vervielf. Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Akademie-Verl. 1984 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) REI h 1984:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Die vollständige Induktion I. S. Sominskij; L. I. Golovina; I. M. Jaglom. [Die Übers. aus dem Russ. besorgten: W. Ficker ...] von Sominskij, Il'ja S [aut] Golovina, Lidija I [aut] Jaglom, Isaak M, 1921-1988 [aut] Sominskij, Ilʹja Samuilovič [oth] Sominskij, Il'ja S. O matematičeskoj indukcii <dt.> Reihen: ; 4300 \| Deutsch-Taschenbücher ; 43 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Thun Frankfurt am Main Deutsch 1986 Online-Ressourcen: Inhaltsverzeichnis Die vollständige Induktion Inhaltsverzeichnis 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) SOM i2 1986:1 1.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Erwerb rekursiver Programmiertechniken als Induktion von Konzepten und Regeln ein kognitionswissenschaftlicher Zugang zum Erwerb kognitiver Fertigkeiten von Ute Schmid von Schmid, Ute [aut] Reihen: ; 70 \| Dissertationen zur künstlichen Intelligenz ; 70 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1994 Hochschulschriftenvermerk: Zugl.: Berlin, Techn. Univ., Diss., 1994 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 70. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Grammatical inference learning syntax from sentences : third international colloquium, ICGI-96, Montpellier, France, September 25 - 27, 1996 ; proceedings Laurent Miclet ... (eds.) von Miclet, Laurent [Hrsg.] ICGI 3 1996 Montpellier [oth] Reihen: ; 1147 \| Lecture notes in computer science ; 1147 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg New York [u.a.] Springer 1996 Weitere Titel: ICGI-96 Online-Ressourcen: Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 1147. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Learning language in logic [volume has its origins in the first Learning Language in Logic (LLL) Workshop which took place on 30 June 1999 in Bled, Slovenia] James Cussens ... (ed.) von Cussens, James [Hrsg.] Learning Language in Logic Workshop 1 1999 Bled [oth] Reihen: ; 1925 \| Lecture notes in computer science ; 1925 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2000 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 1925. Vormerken Zum Korb hinzufügen (Entfernen)
	8.	Selbsteinschätzende Lernverfahren: Möglichkeiten und Grenzen Gunter Grieser von Grieser, Gunter [aut] Reihen: ; 259 \| Dissertationen zur künstlichen Intelligenz ; 259 Materialtyp: Text; Format: Druck Sprache: Deutsch, Englisch Verlag: Berlin Akad. Verl.-Ges. Aka 2002 Hochschulschriftenvermerk: Zugl.: Darmstadt, Techn. Univ., Diss., 2002 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 259. Vormerken Zum Korb hinzufügen (Entfernen)
	9.	Inductive synthesis of functional programs universal planning, folding of finite programs, and schema abstraction by analogical reasoning Ute Schmid von Schmid, Ute [aut] Reihen: ; 2654 \| Lecture notes in computer science ; 2654 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003 Online-Ressourcen: Einführung/Vorwort Inhaltsverzeichnis Cover Zentralblatt MATH Inhaltstext Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 2654. Vormerken Zum Korb hinzufügen (Entfernen)
	10.	Logic, induction and sets Thomas Forster von Forster, Thomas, 1948- [aut] Reihen: ; 5600 \| London Mathematical Society London Mathematical Society student texts ; 56 \| Auflage: 1. publ. Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 2003 Online-Ressourcen: Verlagsangaben Zentralblatt MATH Inhaltstext Table of contents Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) FOR th 2003:1 1.Ex. Nicht verfügbar: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Ausgeliehen (1). Vormerken Zum Korb hinzufügen (Entfernen)
	11.	Database support for data mining applications discovering knowledge with inductive queries Rosa Meo ... (eds.) von Meo, Rosa [Hrsg.] Reihen: State-of-the-Art Survey \| ; 2682 \| Lecture notes in computer science ; 2682 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2004 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext Online-Zugang Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 2682. Vormerken Zum Korb hinzufügen (Entfernen)
	12.	Knowledge discovery in inductive databases third international workshop, KDID 2004, Pisa, Italy, September 20, 2004 ; revised selected and invited papers Bart Goethals ... (eds.) von Goethals, Bart [Hrsg.] Siebes, Arno [Hrsg.] KDID 3 2004 Pisa [oth] Reihen: ; 337700 \| Lecture notes in computer science ; 3377 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11400059 Verlag: Berlin Heidelberg [u.a.] Springer 2005 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Verlagsangaben Cover Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3377. Vormerken Zum Korb hinzufügen (Entfernen)
	13.	A tactic based inductive theorem prover for data types with partial operations Ulrich Kühler von Kühler, Ulrich [aut] Reihen: ; 238 \| Dissertationen zur künstlichen Intelligenz ; 238 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Akad. Verl.-Ges. Aka 2000 Hochschulschriftenvermerk: Zugl.: Kaiserslautern, Univ., Diss., 1999 (Nicht für den Austausch) Online-Ressourcen: Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 238. Vormerken Zum Korb hinzufügen (Entfernen)
	14.	Inductive inference for large scale text classification kernel approaches and techniques Catarina Silva and Bernadete Ribeiro von Silva, Catarina [aut] Ribeiro, Bernadete [aut] Ribeiro, Bernardete [aut] Reihen: ; 25500 \| Studies in computational intelligence ; 255 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12700134 Verlag: Berlin Heidelberg Springer 2010 Online-Ressourcen: Verlagsangaben Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SIL c 2010:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	15.	Induktive Logik und Wahrscheinlichkeit Rudolf Carnap. Bearb. von Wolfgang Stegmüller von Carnap, Rudolf, 1891-1970 [aut] Stegmüller, Wolfgang, 1923-1991 [Bearb.] Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Wien Springer 1959 Online-Ressourcen: Induktive Logik und Wahrscheinlichkeit Inhaltsverzeichnis 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) CAR r 1959:1 1.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	16.	Induction, recursion, and programming Mitchell Wand von Wand, Mitchell [aut] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: New York, NY [u.a.] North-Holland 1980 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) WAN m 1980:1 2.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha