Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings /: 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings. ([2019])

Record Type:
Book
Title:
Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings /: 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings. ([2019])
Main Title:
Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings
Other Titles:
TABLEAUX 2019
Further Information:
Note: Serenella Cerrito, Andrei Popescu (eds.).
Editors:
Cerrito, Serenella
Popescu, Andrei
Other Names:
TABLEAUX (Conference), 28th
Publisher Details:
Cham : Springer
Publication Date:
2019
Copyright Date:
2019
Extent:
1 online resource, illustrations (some color)
Subjects:
511.3/6028563
Automatic theorem proving -- Congresses
Conference papers and proceedings
Electronic books
Languages:
English
ISBNs:
9783030290269
3030290263
Related ISBNs:
9783030290252
Notes:
Note: Includes bibliographical references and index.
Note: Online resource; title from PDF title page (SpringerLink, viewed September 11, 2019).
Access Rights:
Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
Access Usage:
Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:
British Library HMNTS - ELD.DS.452438
Ingest File:
02_587.xml