Cargando…

Recent progress in the Boolean domain /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Steinbach, Bernd (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000nam a2200000 i 4500
001 ELB148465
003 FINmELB
005 20201022193357.0
006 m o d |
007 cr cnu||||||||
008 140523t20142014enka ob 101 0 eng d
020 |z 9781443856386 
020 |a 9781443859677 (e-book) 
035 |a (OCoLC)879026105 
040 |a FINmELB  |b eng  |e rda  |c FINmELB 
050 4 |a QA76.9.A96  |b .R434 2014 
082 0 |a 004.015113  |2 23 
245 0 0 |a Recent progress in the Boolean domain /  |c edited by Bernd Steinbach. 
264 1 |a Newcastle upon Tyne, England :  |b Cambridge Scholars Publishing,  |c 2014. 
264 4 |c Ã2014 
300 |a 1 online resource (458 pages) :  |b illustrations 
336 |a text  |2 rdacontent 
337 |a computer  |2 rdamedia 
338 |a online resource  |2 rdacarrier 
500 |a "All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany." 
504 |a Includes bibliographical references and index. 
588 |a Description based on metadata supplied by the publisher and other sources. 
590 |a Electronic reproduction. Santa Fe, Arg.: elibro, 2020. Available via World Wide Web. Access may be limited to eLibro affiliated libraries. 
650 0 |a Automatic theorem proving  |v Congresses. 
650 0 |a Logic, Symbolic and mathematical  |v Congresses. 
655 4 |a Electronic books. 
700 1 |a Steinbach, Bernd,  |e editor. 
797 2 |a elibro, Corp. 
856 4 0 |u https://elibro.uam.elogim.com/ereader/bidiuam/148465  |z Texto completo 
950 |a eLibro English