Cover Image

Theorem proving in higher order logics 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings

Saved in:

Bibliographic Details
Corporate Author:	TPHOLs '96 Turku, Finland
Other Authors:	Wright, J., Grudy, J., Harisson, J.
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin, Germany Springer 1996
Series:	Lecture notes in computer science 1125
Subjects:	Automatic theorem proving > Congresses
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The resolution calculus
by: Leitsch
Published: (1997)

Great papers in computer science
Published: (1996)

The dictionary of standard C
by: Jaeschke, Rex
Published: (2001)

Cisco certification bridges, routers and switches for CCIEs
by: Caslow, Andrew Bruce
Published: (1998)

Handbook of research on generalized and hybrid set structures and applications for soft computing
Published: (2016)

Handbook of research on modern cryptographic solutions for computer and cyber security
Published: (2016)

Fuzzy logic implementation and applications
Published: (1996)

Einstein, relativity, and absolute simultaneity
Published: (2008)

Applied artificial higher order neural networks for control and recognition
by: Zhang, Ming 1949
Published: (2016)

Fuzzy logic technology and applications
Published: (1994)

Essentials of control
by: Schwarzenbach
Published: (1996)

Control systems principles and design
by: Gopal
Published: (2002)

Instrumentation and control systems
by: Bolton, William
Published: (2021)

Basic control systems engineering
by: Lewis, Paul H.
Published: (1997)

Control systems theory and implementation
by: Kumarawadu, Sisil
Published: (2010)

Introduction to control system technology
by: BatesonlhRobert

Analog and digital control systems dsign transfer-function,state-space,and algebraic methods
by: Chen
Published: (1993)

Modern control technology components and systems
by: Kilian
Published: (1996)

Automatic Control
by: KuolhBenjamin C

Automatic control engineering
by: Raven lhFrancis H.

Moder control engineering
by: Ogata lhKatsuhiko

Modeling and control for micro/nano devices and systems /c edited by Ning Xi, Mingjun Zhang, Guangyong Li
Published: (2014)

Automatic speech and speaker recognition large margin and kernel methods
Published: (2009)

Modern control technology Components and systems
by: Kilian
Published: (2006)

Trend in control a eurepean perspective
by: lh

Dynamical systems and automatic control
by: Carvalho
Published: (1993)

Electronic warfare target location methods
by: Poisel, Richard
Published: (2012)

Electronic warfare target location methods
by: Poisel
Published: (2005)

Automatic transmissions
by: White lhJohn H
Published: (1990)

Integrating Higher Order Thinking Skills
by: Nuraihan Mat Daud

Control systems engineering
by: Nise, Norman S.
Published: (2004)

Control systems engineering
by: Nagrath
Published: (1982)

Automatic control systems
by: Kuo, Benjamin C.
Published: (1997)

Control system design guide using your computer to understand and diagnose feedback controllers
by: Ellis, George
Published: (2012)

Control systems engineering
by: Syed Najib Syed Salim
Published: (2010)

Process control
by: Renuka, S
Published: (2011)

Automatic control systems with MATLAB programs
by: Saeed, Syed Hasan
Published: (2012)

Control system engineering principles and design
by: Zamri omar
Published: (2015)

Introduction to control engineering
by: Hishamuddin Jamaluddin, et al.
Published: (2011)

Frontiers of intelligent control and information processing
Published: (2014)