Symbolic and quantitative approaches to reasoning

Saved in:
Bibliographic Details
Corporate Author: European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Other Authors: Clarke, Michael 1940-, Kruse, Rudolf, Moral, Serafin 1952-
Format: Book
Published: Berlin Springer-Verlag 1994
Series:Lecture notes in computer science 747
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!