Formato normal Formato MARC Formato ISBD
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)
Tipo de documento Localização Cota Informação volume Número de cópia Estado Data de devolução Código de barras Reservas
Livro Biblioteca da UA
Piso 4 (Avançado)
004.8A.131 (Ver prateleira) 1 1 Disponível 14973582
Total de reservas 0


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>