Skip to content
Toggle navigation
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Journal of automated reasoning
Similar Items
Cite this
Text this
Email this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Journal of automated reasoning
Format:
Book
Language:
English
Published:
Kluwer Academic Publishers
Subjects:
Computer science
Holdings
Description
Similar Items
Staff View
Similar Items
Automated reasoning: introduction and applications/
by: Wos, Larry
Published: (1992)
Handbook of practical logic and automated reasoning /
by: Harrison, J. 1966-
Published: (2009)
Automated software engineering
Computation and reasoning: a type theory for computer science/
by: Luo, Zhaohui
Published: (1994)
Neural-symbolic cognitive reasoning /
by: D'Avila Garcez, Artur S., 1970-
Published: (2009)
Case-based reasoning/
by: Kolodner, Janet L.
Published: (1993)
Automated database applications testing specification representation for automated reasoning /
by: Mikhail, Rana Farid.
Published: (2010)
International journal of approximate reasoning : official publication of the North American Fuzzy Information Processing Society.
Published: (1987)
Automated reasoning : Introduction and Applications /
by: Wos, Larry
Published: (1984)
Fuzzy expert systems and fuzzy reasoning
by: Siler, William.
Published: (2005)
The computer journal the international journal of computing
Journal of algorithms
Journal of the ACM
Journal of functional programming
Published: (1991)
Journal of W S C G
Published: (1992)
Journal of parallel and distributed computing
Journal of systems and software
International journal of parallel programming
International journal of computer mathematics
SIAM journal on discrete mathematics
Journal of logic and computation
Journal of logic and algebraic programming
Journal of object-oriented programming
Journal of programming languages
Automated reasoning and its applications: essays in honor of Larry Wos/
by: Veroff, Robert
Published: (1997)
Journal of software maintenance research and practice
International journal of computers and applications
A natural language-based methodology to formalize and automate the requirements engineering process/
by: Γεωργιάδης, Μαρίνος Γεωργίου
Published: (2011)
Automation programmerʹs reference :using ActiveX technology to create programmable applications
Published: (1997)
International journal of computers for mathematical learning
Sigda newsletter design automation
Journal of systems architecture JSA : the Euromicro journal
Published: (1975)
Robot framework test automation /
by: Bisht, Sumit.
Automating Unix and Linux administration/
by: Bauer, Kirk
Published: (2003)
Journal of computer and system sciences
Published: (1967)
Software quality journal
Published: (1992)
Logic programming and automated reasoning : internationalconference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 :proceedings /
Published: (1992)
International Journal of Robotics and Automation
Published: (1985)
Reasoning about parallel architectures /
by: Collier, William W.
Published: (1992)
Reasoning about parallel architectures/
by: Collier, William W.
Published: (1992)
Similar Items
Automated reasoning: introduction and applications/
by: Wos, Larry
Published: (1992)
Handbook of practical logic and automated reasoning /
by: Harrison, J. 1966-
Published: (2009)
Automated software engineering
Computation and reasoning: a type theory for computer science/
by: Luo, Zhaohui
Published: (1994)
Neural-symbolic cognitive reasoning /
by: D'Avila Garcez, Artur S., 1970-
Published: (2009)
×
Loading...
