Journal of logic and computation文章索引

期刊名：Journal of logic and computation

缩写：J LOGIC COMPUT

ISSN：0955-792X

e-ISSN：1465-363X

IF/分区：0.7/Q4

共收录本刊相关文章索引1705条

Logic programming with signs and annotations [0.03%]

Lu, J. Lu

Journal of Logic and Computation. 1996;6(6):755-778. DOI:10.1093/logcom/6.6.755 1996

On the expressive power of three-valued and four-valued languages [0.03%]

Avron, A Avron

Journal of Logic and Computation. 1999;9(6):977-994. DOI:10.1093/logcom/9.6.977 1999

Comparing the Expressibility of Languages Formed Using NP-Complete Operators [0.03%]

STEWART, IAIN A. STEWART

Journal of Logic and Computation. 1991;1(3):305-330. DOI:10.1093/logcom/1.3.305 1991

Representation and Human Reasoning [0.03%]

Meulen, A. G. B. T. Meulen

Journal of Logic and Computation. 2003;13(1):147-155. DOI:10.1093/logcom/13.1.147 2003

Editorial [0.03%]

Guessarian, I. Guessarian

Journal of Logic and Computation. 2002;12(2):215-215. DOI:10.1093/logcom/12.2.215 2002

Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions [0.03%]

Aguzzoli, S Aguzzoli

Journal of Logic and Computation. 2000;10(2):213-222. DOI:10.1093/logcom/10.2.213 2000

Reasoning Support for Mapping Revision [0.03%]

Meilicke, C.; Stuckenschmidt, H.; Tamilin et al. Meilicke et al.

Journal of Logic and Computation. 2009;19(5):807-829. DOI:10.1093/logcom/exn047 2009

Book review. Intelligence Through Simulated Evolution: Forty Years of Evolutionary Programming. LJ Fogel [0.03%]

Overill, R Overill

Journal of Logic and Computation. 2000;10(5):739-739. DOI:10.1093/logcom/10.5.739 2000

A Logic for prioritized normative reasoning [0.03%]

Van De Putte, F.; Strasser, C. Van De Putte

Journal of Logic and Computation. 2013;23(3):563-583. DOI:10.1093/logcom/exs008 2013

Lambda Calculus, Type Theory, and Natural Language II [0.03%]

Fox, C.; Fernandez, M.; Lappin et al. Fox et al.

Journal of Logic and Computation. 2007;18(2):203-203. DOI:10.1093/logcom/exm090 2007