Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings / Serenella Cerrito, Andrei Popescu (eds.).
TABLEAUX (Conference) (28th : 2019 : London, England); Cerrito, Serenella, editor.; Popescu, Andrei, editor.
2019
QA76.9.A96 T33 2019eb
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings / Serenella Cerrito, Andrei Popescu (eds.).
Meeting Name
TABLEAUX (Conference) (28th : 2019 : London, England)
ISBN
9783030290269 (electronic book)
3030290263 (electronic book)
9783030290252
DOI
https://doi.org/10.1007/978-3-030-29026-9
Published
Cham : Springer, [2019]
Copyright
©2019
Language
English
Description
1 online resource : illustrations.
Item Number
10.1007/978-3-030-29026-9 doi
Call Number
QA76.9.A96 T33 2019eb
Dewey Decimal Classification
511.3/6028563
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 11, 2019).
Added Author
Cerrito, Serenella, editor.
Popescu, Andrei, editor.
Series
Lecture notes in computer science ; 11714.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7, Artificial intelligence.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources

Browse Subjects

Show more subjects...

Statistics

from
to
Export