Normal view MARC view ISBD view
Dynamic logic : new trends and applications / Second International Workshop, DaLí.. ; ed. Luís Soares Barbosa, Alexandru Baltag
Autor secundário: Baltag, Alexandru;Barbosa, Luís Soares Autor Institucional (Principal): DALI (International Workshop), 2, Porto, Portugal, 2019Língua: Inglês.País: Suíça.ISBN: 978-3-030-38807-2.Publicação: Cham : Springer, cop. 2020Descrição: X, 226 p. : ilColeção: (LNCS: Lecture Notes in Computer Science ; 12005 , 0302-9743)Assunto : Ciência de computadores -- Congressos, conferências, etc. // Lógica computacional // Arquitetura de computadores // Inteligência artificial // Engenharia informáticaCDU: 004.8:519.6(063)
Item type Current location Call number Vol info Copy number Status Date due Barcode Item holds
Livro Biblioteca da UA
Piso 4 (Avançado)
004.8A.131 (Browse shelf) 1 1 Available 14973582
Total holds: 0


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>