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

Institution:	¹ 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:	$L$ ukasiewicz Logics" target="_blank">gif" ALT="L" BORDER="0">ukasiewicz Logics Fuzzy Logics Goal-Directed Methods Logic Programming
本文献已被 Oxford 等数据库收录！