Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
135
views
0
references
Top references
cited by
9
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,626
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Automated Reasoning
other
Editor(s):
Bernhard Gramlich
,
Dale Miller
,
Uli Sattler
Publication date
(Print):
2012
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Author and book information
Book
ISBN (Print):
978-3-642-31364-6
ISBN (Electronic):
978-3-642-31365-3
Publication date (Print):
2012
DOI:
10.1007/978-3-642-31365-3
SO-VID:
692cff84-72a4-40d3-a0fa-d5e933452562
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 477
Fingerprint Indexing for Paramodulation and Rewriting
pp. 111
Satallax: An Automatic Higher-Order Prover
pp. 225
Proving Non-looping Non-termination Automatically
pp. 286
δ-Complete Decision Procedures for Satisfiability over the Reals
pp. 355
Inprocessing Rules
pp. 378
Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics
pp. 454
The QMLTP Problem Library for First-Order Modal Logics
pp. 484
Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions
pp. 537
A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance
Similar content
1,626
Enhanced Mobility With Connectivity and Automation: A Review of Shared Autonomous Vehicle Systems
Authors:
Liuhui Zhao
,
Andreas A. Malikopoulos
A Priority-Aware Replanning and Resequencing Framework for Coordination of Connected and Automated Vehicles
Authors:
Behdad Chalaki
,
Andreas A. Malikopoulos
Control of connected and automated vehicles: State of the art and future challenges
Authors:
Yeojun Kim
,
Jacopo Guanetti
,
Francesco Borrelli
See all similar
Cited by
9
Differential Game Logic
Authors:
A New Rule for LTL Tableaux
Authors:
Mark Reynolds
ACL2(ml): Machine-Learning for ACL2
Authors:
,
See all cited by