Norbert Eisinger – författare
Visar alla böcker från författaren Norbert Eisinger. Handla med fri frakt och snabb leverans.
6 produkter
Studien- und Forschungsführer Künstliche Intelligenz
Av Wolfgang Bibel, Norbert Eisinger m. fl.
Häftad, 1987
583 kr
Lägg i varukorg
Der vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überblick über die in der Bundesrepublik Deutschland und in Österreich bestehenden Ausbildungsmöglichkeiten im Hochschulbereich und die Forschungsaktivitäten und -förderungsprogramme im öffentlichen und …
Reasoning Web
First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
Av Norbert Eisinger, Jan Maluszynski
Häftad, 2005
567 kr
Lägg i varukorg
This volume contains the tutorial papers of the Summer School “Reasoning Web,”July25–29,2005(http://reasoningweb. org). TheSchoolwashostedbythe University of Malta and was organized by the Network of Excellence REWERSE “Reasoning on the Web with Rules and Semantics” (http://rewerse. net), funded by …
Reasoning Web
First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
Av Jan Maluszynski, Norbert Eisinger
E-bok, 2005
652 kr
Lägg i varukorg
This volume contains the tutorial papers of the Summer School “Reasoning Web,”July25–29,2005(http://reasoningweb. org). TheSchoolwashostedbythe University of Malta and was organized by the Network of Excellence REWERSE “Reasoning on the Web with Rules and Semantics” (http://rewerse. net), funded by …
Studien- und Forschungsführer Künstliche Intelligenz
Av Jorg Siekmann, Josef Schneeberger m. fl.
E-bok, 2013
621 kr
Lägg i varukorg
Der vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überblick über die in der Bundesrepublik Deutschland und in Österreich bestehenden Ausbildungsmöglichkeiten im Hochschulbereich und die Forschungsaktivitäten und -förderungsprogramme im öffentlichen und …
Design Patterns für mathematische Beweise
Ein Leitfaden insbesondere für Informatiker
Av Hans Jürgen Ohlbach, Norbert Eisinger
Häftad, 2017
393 kr
Lägg i varukorg
Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollständigen Induktion bis hin zur transfiniten Induktion. Damit gibt es Antworten …
Design Patterns für mathematische Beweise
Ein Leitfaden insbesondere für Informatiker
Av Norbert Eisinger, Hans Jurgen Ohlbach
E-bok, 2017
403 kr
Lägg i varukorg
Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollständigen Induktion bis hin zur transfiniten Induktion. Damit gibt es Antworten …
