Hans Jurgen Ohlbach – författare
Visar alla böcker från författaren Hans Jurgen Ohlbach. Handla med fri frakt och snabb leverans.
6 produkter
Logic, Language and Reasoning
Essays in Honour of Dov Gabbay
Av Dov M. Gabbay, Uwe Reyle m. fl.
Inbunden, 1999
876 kr
Lägg i varukorg
This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has exerted a profound influence in the major fields of logic, linguistics and computer science. Most of the chapters included, therefore, build on his …
Practical Reasoning
International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.
Av Dov M. Gabbay, Hans Jürgen Ohlbach
Häftad, 1996
1128 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the …
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 …
Logic, Language and Reasoning
Essays in Honour of Dov Gabbay
Av Hans Jürgen Ohlbach, U. Reyle
Häftad, 2012
551 kr
Lägg i varukorg
th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is one of the most outstanding and most productive researchers we have ever met. He has exerted a profound influence in major fields of logic, linguistics and computer science. His contributions in the …
Logic, Language and Reasoning
Essays in Honour of Dov Gabbay
Av U. Reyle, Hans Jurgen Ohlbach
E-bok, 2012
710 kr
Lägg i varukorg
th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is one of the most outstanding and most productive researchers we have ever met. He has exerted a profound influence in major fields of logic, linguistics and computer science. His contributions in the …
