Lukasiewicz Logic: From Proof Systems To Logic Programming期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Lukasiewicz Logic: From Proof Systems To Logic Programming

Authors:	Metcalfe, George Olivetti, Nicola Gabbay, Dov

Affiliation:	¹ Institute of Discrete Mathematics and Geometry, Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria. E-mail: metcalfe{at}logic.at, ² Department of Computer Science, University of Turin, Corso Svizzera 185, 10149 Turin, Italy. Email: olivetti{at}di.unito.it, ³ Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK. Email: dg{at}dcs.kcl.ac.uk

Abstract:

Keywords:	/math/Lstrok.gif" ALT=" L" BORDER=" 0" >ukasiewicz Logics Fuzzy Logics Goal-Directed Methods Logic Programming
本文献已被 Oxford 等数据库收录！