search result

Cover von Safety critical systems
Search for this author
Year: 1997
Publisher: Cambridge, Cambridge University Press
Series: Knowledge engineering review : 12. 1997, 3
Media group: SPECIAL ISSUE
Cover von Group support systems
special issue
Search for this author
Year: 1997
Publisher: London, Academic Press
Series: International journal of human-computer studies : 47. 1997, 3
Media group: SPECIAL ISSUE
Cover von Probabilistic expert systems
Author: Shafer, Glenn Search for this author
Year: 1996
Publisher: Philadelphia, SIAM
Series: CBMS-NSF regional conference series in applied mathematics; 67
Media group: MONOGRAPHIE
Cover von Hypermedia systems and applications
world wide web and beyond
Author: Lennon, Jennifer A. Search for this author
Year: 1997
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Intelligent information systems
special issue
Search for this author
Year: 1997
Publisher: Amsterdam, IOS Press
Series: Fundamenta informaticae : 30. 1997, 3/4
Media group: SPECIAL ISSUE
Cover von 1.; Labelled deductive systems
Search for this author
Year: 1996
Publisher: Oxford, Clarendon
Volume: 1.
Series: Oxford logic guides; 33
Media group: MONOGRAPHIE
Cover von Resolution proof systems
an algebraic theory
Author: Stachniak, Zbigniew Search for this author
Year: 1996
Publisher: Dordrecht, Kluwer
Series: Automated reasoning series; 4
Media group: MONOGRAPHIE
Cover von Labelled deductive systems

Labelled deductive systems

Gabbay, Dov M.
Oxford, Clarendon Press
Media group: GESAMTWERK
Volumes loading
Cover von Visual information systems
Search for this author
Year: 1997
Publisher: London, Academic Press
Series: Journal of visual languages and computing : 8. 1997, 3
Media group: SPECIAL ISSUE
Cover von Multimedia database management systems
Author: Prabhakaran, B. Search for this author
Year: 1997
Publisher: Boston, Kluwer
Series: The Kluwer international series in engineering and computer science; 375
Media group: MONOGRAPHIE
OPEN V 11.1.0.0