The resolution calculus
Saved in:
| Main Author: | Leitsch |
|---|---|
| Format: | Book |
| Published: |
Berlin; New York
Springer
1997
|
| Series: | Texts in theoretical computer science
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Theorem proving in higher order logics 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings
Published: (1996)
Published: (1996)
Einstein, relativity, and absolute simultaneity
Published: (2008)
Published: (2008)
Neural system for control
Published: (1997)
Published: (1997)
Basic control systems engineering
by: Lewis, Paul H.
Published: (1997)
by: Lewis, Paul H.
Published: (1997)
Essentials of control
by: Schwarzenbach
Published: (1996)
by: Schwarzenbach
Published: (1996)
Control systems principles and design
by: Gopal
Published: (2002)
by: Gopal
Published: (2002)
Instrumentation and control systems
by: Bolton, William
Published: (2021)
by: Bolton, William
Published: (2021)
Control systems theory and implementation
by: Kumarawadu, Sisil
Published: (2010)
by: Kumarawadu, Sisil
Published: (2010)
Introduction to control system technology
by: BatesonlhRobert
by: BatesonlhRobert
Analog and digital control systems dsign transfer-function,state-space,and algebraic methods
by: Chen
Published: (1993)
by: Chen
Published: (1993)
Modern control technology components and systems
by: Kilian
Published: (1996)
by: Kilian
Published: (1996)
Automatic Control
by: KuolhBenjamin C
by: KuolhBenjamin C
Automatic control engineering
by: Raven lhFrancis H.
by: Raven lhFrancis H.
Moder control engineering
by: Ogata lhKatsuhiko
by: Ogata lhKatsuhiko
Modeling and control for micro/nano devices and systems /c edited by Ning Xi, Mingjun Zhang, Guangyong Li
Published: (2014)
Published: (2014)
Automatic speech and speaker recognition large margin and kernel methods
Published: (2009)
Published: (2009)
Modern control technology Components and systems
by: Kilian
Published: (2006)
by: Kilian
Published: (2006)
Trend in control a eurepean perspective
by: lh
by: lh
Dynamical systems and automatic control
by: Carvalho
Published: (1993)
by: Carvalho
Published: (1993)
Electronic warfare target location methods
by: Poisel, Richard
Published: (2012)
by: Poisel, Richard
Published: (2012)
Electronic warfare target location methods
by: Poisel
Published: (2005)
by: Poisel
Published: (2005)
Embedded software development for safety-critical systems
by: Hobbs, Chris
Published: (2016)
by: Hobbs, Chris
Published: (2016)
Automatic transmissions
by: White lhJohn H
Published: (1990)
by: White lhJohn H
Published: (1990)
Statistical multisource-multitarget information fusion
by: Mahler, Ronald P. S
Published: (2014)
by: Mahler, Ronald P. S
Published: (2014)
Automatic control systems
by: Kuo, Benjamin C.
Published: (1997)
by: Kuo, Benjamin C.
Published: (1997)
Modern control engineering
by: Ogata, Katsuhiko
Published: (1997)
by: Ogata, Katsuhiko
Published: (1997)
Modern control engineering
by: Ogata, Katsuhiko
Published: (1997)
by: Ogata, Katsuhiko
Published: (1997)
computer-controlled systems theory and design
by: Astrom
Published: (1997)
by: Astrom
Published: (1997)
Control systems engineering
by: Nise, Norman S.
Published: (2004)
by: Nise, Norman S.
Published: (2004)
Control systems engineering
by: Nagrath
Published: (1982)
by: Nagrath
Published: (1982)
Control system design guide using your computer to understand and diagnose feedback controllers
by: Ellis, George
Published: (2012)
by: Ellis, George
Published: (2012)
Control systems engineering
by: Syed Najib Syed Salim
Published: (2010)
by: Syed Najib Syed Salim
Published: (2010)
Process control
by: Renuka, S
Published: (2011)
by: Renuka, S
Published: (2011)
Automatic control systems with MATLAB programs
by: Saeed, Syed Hasan
Published: (2012)
by: Saeed, Syed Hasan
Published: (2012)
Control system engineering principles and design
by: Zamri omar
Published: (2015)
by: Zamri omar
Published: (2015)
Introduction to control engineering
by: Hishamuddin Jamaluddin, et al.
Published: (2011)
by: Hishamuddin Jamaluddin, et al.
Published: (2011)
Similar Items
-
Theorem proving in higher order logics 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings
Published: (1996) -
Einstein, relativity, and absolute simultaneity
Published: (2008) -
Neural system for control
Published: (1997) -
Basic control systems engineering
by: Lewis, Paul H.
Published: (1997) -
Essentials of control
by: Schwarzenbach
Published: (1996)


