Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /

সংরক্ষণ করুন:
গ্রন্থ-পঞ্জীর বিবরন
সংস্থা লেখক: TABLEAUX '96, Terrasini, Italy
অন্যান্য লেখক: Miglioli, P.
বিন্যাস: কনফারেন্স প্রসিডিং গ্রন্থ
ভাষা:English
প্রকাশিত: Berlin ; New York : Springer, c1996.
মালা:Lecture notes in computer science ; 1071.
Lecture notes in computer science. Lecture notes in artificial intelligence.
বিষয়গুলি:
Automatic theorem proving > Congresses.
Nonclassical mathematical logic > Congresses.
Logic, Symbolic and mathematical > Congresses.
বিবরন
দৈহিক বর্ননা:x, 329 p. : ill. ; 24 cm.
গ্রন্থ-পঞ্জী:Includes bibliographical references and index.
আইসবিএন:3540612084

অনুরূপ উপাদানগুলি