Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings / Alexandre Madeira, Mário Benevides (eds.).
2018
QA76.9.L63
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings / Alexandre Madeira, Mário Benevides (eds.).
ISBN
9783319735795 (electronic book)
3319735799 (electronic book)
9783319735788
3319735799 (electronic book)
9783319735788
Published
Cham, Switzerland : Springer, 2018.
Language
English
Description
1 online resource (ix, 201 pages) : illustrations.
Item Number
10.1007/978-3-319-73579-5 doi
Call Number
QA76.9.L63
Dewey Decimal Classification
005.101/5113
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed January 16, 2018).
Added Author
Series
Lecture notes in computer science ; 10669.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Record Appears in