Search results: Sage Journals

Restricted accessResearch articleFirst published August, 1999

Specification and Integration of Theorem Provers and Computer Algebra Systems

P.G. Bertoli, J. Calmet, F. Giunchiglia [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published

Nicola Olivetti, Gian Luca Pozzato

Intelligenza Artificiale

Restricted accessResearch articleFirst published May, 2002

Stephan Schulz

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published May, 2010

J.D. Phillips, David Stanovský

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published May, 2002

Kahlil Hodgson, John Slaney

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published May, 2010

Ulrich Furbach, Ingo Glöckner, Björn Pelzer

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published May, 2002

Dominique Pastre

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published November, 1998

Marc Fuchs, Matthias Fuchs

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published February, 1999

Thomas Baar, Ekkart Kindler

Fundamenta Informaticae

Restricted accessResearch articleFirst published May 17, 2018

Jan Jakubův, Josef Urban

The European Journal on Artificial Intelligence