Theory and Applications of Satisfiability Testing – SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Gaspers, Serge. (Editor ), Walsh, Toby. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Theoretical Computer Science and General Issues ; 10491
Materias:
LEADER 01683nam a22003975i 4500
001 000291360
005 20210915191515.0
007 cr nn 008mamaa
008 170808s2017 gw | s |||| 0|eng d
020 |a 9783319662633 
024 7 |a 10.1007/978-3-319-66263-3  |2 doi 
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
245 1 0 |a Theory and Applications of Satisfiability Testing – SAT 2017 :  |b 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /  |c edited by Serge Gaspers, Toby Walsh. 
250 |a 1st ed. 2017. 
260 # # |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2017. 
300 |a XIII, 476 p. 68 illus. :  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Theoretical Computer Science and General Issues ;  |v 10491 
650 0 |a Computers. 
650 0 |a Artificial intelligence. 
650 0 |a Software engineering. 
650 0 |a Operating systems (Computers). 
650 0 |a Computer organization. 
650 0 |a Numerical analysis. 
650 1 4 |a Theory of Computation. 
650 2 4 |a Artificial Intelligence. 
650 2 4 |a Software Engineering. 
650 2 4 |a Operating Systems. 
650 2 4 |a Computer Systems Organization and Communication Networks. 
650 2 4 |a Numeric Computing. 
700 1 |a Gaspers, Serge.  |e editor.  |0 (orcid)0000-0002-6947-9238  |1 https://orcid.org/0000-0002-6947-9238 
700 1 |a Walsh, Toby.  |e editor.  |0 (orcid)0000-0003-2998-8668  |1 https://orcid.org/0000-0003-2998-8668 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks