Symbolic and quantitative approaches to reasoning and uncertainty : European conference, ECSQARU '95 - detaljert visning

Symbolic and quantitative approaches to reasoning and uncertainty : European conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995 : proceedings

European Conference ECSQARU
Bok Engelsk 1995


Utgitt	Berlin : Springer , c1995
Omfang	X, 430 s. : fig.
Emner	Automatisk bevisføring Konferanser Kunstig intelligens Pålitelighet (Matematikk) kunstig intelligens resonnering usikkerhet matematisk logikk
ISBN	3540601120