Goal-Driven Reasoning in First-Order Logic
Artikel i vetenskaplig tidskrift, 2006

Författare

Claes Strannegård

Chalmers, Tillämpad informationsteknologi

Philosophical Communications, Department of Philosophy, Gothenburg University

35

Ämneskategorier

Data- och informationsvetenskap