Hierarchical contextual reasoning

von Autexier, Serge
Veröffentlicht 2003

HDMS-A und OBSCURE in KORSO : die funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode

von Autexier, Serge
Veröffentlicht 1993

A framework for generic and reusable tactics

von Autexier, Serge
Veröffentlicht 1999

An abstraction for proof planning : the S-abstraction

von Autexier, Serge
Veröffentlicht 1997

Parameterized abstractions used for proof-planning

von Autexier, Serge
Veröffentlicht 1997

Semantical investigation of simultaneous skolemization for first-order sequent calculus

von Autexier, Serge
Veröffentlicht 1998

Interaktion und Künstliche Intelligenz : Herausforderungen für Gestaltung und Nutzung

von Autexier, Serge
Veröffentlicht in Medien + Erziehung (2020)

Disproving false conjectures

von Autexier, Serge
Veröffentlicht 2003

A calculus independent proof data structure

von Dietrich, Dominik
Veröffentlicht 2005

Semantic integration of heterogenous processes : Vorhaben SHIP ; Abschlussbericht ; Bewilligungszeitraum: 1.1.2011 - 31.12.2013

von Autexier, Serge
Veröffentlicht 2014

Model-based specification and refinement for cyber-physical systems

von Drechsler, Rolf
Veröffentlicht in International Conference LDIC (5. : 2016 : Bremen) Dynamics in logistics (2017)

Towards a framework to integrate proof search paradigms

von Autexier, Serge
Veröffentlicht 2003

Das Bremen Ambient Assisted Living Lab und darüber hinaus - Intelligente Umgebungen, smarte Services und Künstliche Intelligenz in der Medizin für den Menschen

von Autexier, Serge
Veröffentlicht in Künstliche Intelligenz im Gesundheitswesen (2022)

AI Approaches in Processing and Using Data in Personalized Medicine

von Ivanovic, Mirjana
Veröffentlicht in ADBIS (26. : 2022 : Turin) Advances in databases and information systems (2022)

An approach to assertion application via generalised resolution

von Quoc Bao Vo
Veröffentlicht 2003

Klinische Evalution eines Rollatormoduls zur sensorgestützten Haltungs- und Gangmustererkennung

von Choudhuri, Amit
Veröffentlicht in Künstliche Intelligenz im Gesundheitswesen (2022)

Intelligent computer mathematics : 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5-10...

Veröffentlicht 2010

Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008 Birmingham, UK, July 28 - Augu...

Veröffentlicht 2008

Special issue of selected papers from FCS/Verify 2002 : [... presentations at the Workshop on Foundations of Computer Security and the Verification Workshop which were held joint...

Veröffentlicht 2005

Projekt ConText; Verbundvorhaben: Textile Oberflächen zur elektrischen Versorgung, informationstechnischen Kommunikation und intuitiven Interaktion mit IoT-Geräten im Smart Home; T...

von Autexier, Serge
Veröffentlicht 1042023