Search Results for Kohlas, Jürg.

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

2024-11-05T08:49:33Z

Author Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11808107
Format: Electronic Resources
Availability Online Library~1

Human Machine Interaction Research Results of the MMI Program

2024-11-05T08:49:33Z

Author Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00437-7
Format: Electronic Resources
Availability Online Library~1

Generic Inference a Unifying Theory for Automated Reasoning

2024-11-05T08:49:33Z

Author Pouly, Marc, 1980- author. Kohlas, Jürg, 1939- author. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information Available by subscription from Safari Books Online Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=698878 http://site.ebrary.com/lib/alltitles/Doc?id=10469758 Volltext http://proquest.tech.safaribooksonline.de/9781118010860
Format: Electronic Resources
Availability Online Library~1