Journal of automated reasoning [electronic resource].
[Dordrecht] : Kluwer Academic Publishers
[Netherlands] : Sprigner Netherlands
Some issues combined.
Mode of access: World Wide Web.
Automatic theorem proving
Artificial intelligence
Logic programming
Journal of automated reasoning
Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.