Finite domain and symbolic inference methods for extensions of first-order logic release_q22d3qujfrc6vdksoz3hoj3rwa

by Johan Wittocx

Published in AI Communications by IOS Press.

2011   Volume 24, p91-93

Archived Files and Locations

application/pdf  110.8 kB
file_ftzedoebfbbubnubm76wj2uen4
lirias.kuleuven.be (web)
web.archive.org (webarchive)
application/pdf  1.8 MB
file_kcc5gacn5vasnm2pwan4s67zvi
lirias2repo.kuleuven.be (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2011
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0921-7126
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 58d287eb-df3c-4064-b7b1-e5c864ba1e7c
API URL: JSON