Loading...

QR Code

Automation of reasoning2

Bibliographic Details
Main Author:	Jorg Siekmann,Graham Wrightson
Format:	Printed Book
Language:	English
Published:	Springer-Verlag 637
Edition:	1

Similar Items

Analogy for automated reasoning
by: Stephen Owen
Published: (1990)

Scared literature of the Hindus /
by: Wrightson
Published: (1983)

Automated reasoning: 33 basic research problems
by: Wos, Larry
Published: (1988)

Automated Reasoning: 33 Basic Research Problems
by: Wos, Larry
Published: (1988)

Automated reasoning: Essays in Honor of Woody Bledsoe
Published: (1991)

Automation
by: Arnstein, George E

Automation/
by: Bruton, Eric
Published: (1961)

Principles of automation and automated production processes /
by: Malov,A
Published: (1976)

Principles of automation and automated production processes
by: Malov, A
Published: (1976)

Automation its anatomy and physiology
by: Rose, J.
Published: (1967)

Automation its uses and consequences
by: Rose, J.
Published: (1967)

Automation : its uses and consequences /
by: Rose, J.
Published: (1967)

Library automation /
by: Manohar Nanda
Published: (2006)

Office automation /
by: Terry, George R.
Published: (1966)

Cytology automation /
Published: (1970)

Automation in libraries /
by: Kimber, Richard T.
Published: (1968)

Automation in libraries /
by: Singh, Shishu Pal
Published: (1975)

Library automation /
by: Ravichandra Rao, I. K.
Published: (1990)

Office automation /
by: Terry, George R.
Published: (1966)

Library automation /
by: Saharan, Mahender Singh
Published: (2014)

Library automation /
by: Riaz, Muhammad
Published: (1992)

Library automation /
by: Riaz, Muhammad
Published: (1992)

Automated Libraries
by: Patel, Bipin A
Published: (2014)

Library automation /
by: Ravichandra Rao, I. K.
Published: (1992)

Library automation /
by: Nanda, Manohar
Published: (2006)

Library automation /
by: Malavya, V. C.
Published: (1999)

Library Automation
by: Rao, I K Ravichandra
Published: (1990)

Modern Automation
by: Foster ,David
Published: (1963)

Office Automation
by: Terry, George R
Published: (1972)

Automation In Libraries
by: Kimber R T
Published: (1974)

Cytology automation

Cytology automation

Office Automation
by: Terry, George R
Published: (1966)

Going Automated
by: Bawden, David
Published: (1990)

Automation of workflow
by: Reshmi Rajan
Published: (2003)

Office automation
by: Bajaj,K K
Published: (1989)

Automation and management
by: Bright, James R.

Automation and skill
by: Crossman, E.R.F.W
Published: (1960)

Ergonomics of automation
by: Welford, A.T
Published: (1960)