Vai al contenuto principale della pagina

2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science : 5-8 July 2016, New York, NY, USA / / sponsored by IEEE Computer Society [and seven others]



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science : 5-8 July 2016, New York, NY, USA / / sponsored by IEEE Computer Society [and seven others] Visualizza cluster
Pubblicazione: Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016
Descrizione fisica: 1 online resource (901 pages)
Disciplina: 004.015113
Soggetto topico: Computer logic
Electronic data processing
Computer programming
Titolo autorizzato: 2016 31st Annual ACM  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910169228303321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Digitized [[electronic resource] ] : the science of computers and how it shapes our world / / Peter J. Bentley
Bentley Peter J. <1972->
Recent progress in the Boolean domain / / edited by Bernd Steinbach
The functional interpretation of logical deduction [[electronic resource] /] / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay
Queiroz Ruy J. G. B. de
Fields of Logic and Computation III [[electronic resource] ] : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / / edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
Automated Reasoning [[electronic resource] ] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II / / edited by Nicolas Peltier, Viorica Sofronie-Stokkermans