Pavel Kocura (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 J. E. Heaton, Pavel Kocura: Presenting a Pierce Logic Based Inference Engine and Theorem Prover for Conceptual Graphs. ICCS 1993: 381-400

Selection of 1 from 7 records - Pavel Kocura has 3 coauthors