TY  - SER
TI  - Journal of automated reasoning
SN  - 1573-0670
AV  - QA76.9.A96 
U1  - 511.3 
PB  - Kluwer Academic Publishers
KW  - Automatic theorem proving
KW  - Periodicals
KW  - Artificial intelligence
KW  - Logic programming
KW  - Th�eor�emes
KW  - D�emonstration automatique
KW  - P�eriodiques
KW  - Intelligence artificielle
KW  - Programmation logique
KW  - fast
KW  - Electronic journals
N1  - License restrictions may limit access; Some issues combined
UR  - https://libproxy.firstcity.edu.my:8443/login?url=https://search.proquest.com/publication/2028908
UR  - https://libproxy.firstcity.edu.my:8443/login?url=https://search.proquest.com/publication/2028908
ER  -