Normal view MARC view ISBD view

Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings / edited by Joe Hurd, Tom Melham.

By:

Hurd, Joe

Contributor(s):

Material type:

Computer fileSeries: Lecture Notes in Computer Science ; 3603Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.Description: v.: digitalISBN:

9783540318200

Subject(s):

Online resources:

Click here to access online

In: Springer eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Comments ( 0 )

No physical items for this record

There are no comments on this title.

to post a comment.

Back to results

1 Modal Array Signal Processing: Principles and Applications of Acoustic Wavefield Decomposition
by Teutsch, Heinz.
2 Stabilization of Nonlinear Systems Using Receding-horizon Control Schemes
by Alamir, Mazen.
3 Biology and Control Theory: Current Challenges
by Queinnec, Isabelle.
4 Selected Topics in Dynamics and Control of Chemical and Biological Processes
by Méndez-Acosta, Hugo.Oscar
5 Dynamic Modeling, Predictive Control and Performance Monitoring
by Huang, Biao.
6 Adaptive Backstepping Control of Uncertain Systems
by Zhou, Jing.
7 Lagrangian and Hamiltonian Methods for Nonlinear Control 2006
by Allgüwer, F.
8 Intelligent Computing in Signal Processing and Pattern Recognition
by Huang, De-Shuang.
9 Modern Sliding Mode Control Theory
by Bartolini, Giorgio.
10 Control Systems Theory and Applications for Linear Repetitive Processes
by Rogers, Eric.
11 Modeling, Estimation and Control
by Chiuso, Alessandro.
12 Fuzzy Control and Filter Design for Uncertain Fuzzy Systems
by Assawinchaichote, Wudhichai.
13 Dynamic Analysis of Petri Net-Based Discrete Systems
by Karatkevich, Andrei.
14 Recent Advances in Learning and Control
by Blondel, Vincent D.
15 Optimal Control of Constrained Piecewise Affine Systems
by Christophersen, Frank J.
16 Robust Control of Linear Systems Subject to Uncertain Time-Varying Parameters
by Amato, Francesco.
17 Fast Motions in Biomechanics and Robotics
by Diehl, Moritz.
18 Robot Motion and Control
by Kozłowski, Krzysztof.
19 Advances in Control Theory and Applications
by Bonivento, Claudio.
20 Recent Progress in Robotics: Viable Robotic Service to Human
by Lee, Sukhan.