-
14.09.2017Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis...
-
29.06.1994
This volume constitutes the proceedings of the First International Conference on Temporal Logic (...
-
30.06.1999
This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers...
GebundenUnser bisheriger Preis:ORGPRICE: 103,50 €
Jetzt 85,55 €Print on DemandAlle Preise inkl. MwSt | Versandkostenfrei -
28.05.1993
This volume gives the proceedings of the sixteenth GermanConference on Artificial Intelligence, h...
-
28.05.1997
This book constitutes the refereed proceedings of the First International Joint Conference on Qua...
-
02.09.2004
The best informal de?nition of the Semantic Web is maybe found in the May 2001Scienti?cAmericanar...
-
16.10.2012
th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is ...
-
21.05.1996
This book constitutes the refereed proceedings of the International Conference on Formal and Appl...
- 1