Libri e Riviste

A computational logic / Robert S. Boyer and J. Strother Moore

Responsabilità principale Boyer, Robert S.

Persona

Responsabilità coordinata Strother Moore, J.

Persona
Periodo: (1947–....)

Fa parte della collezioneACM monograph series

Descrizione fisicaxiv, 397 p. ; 24 cm

Codici internazionaliISBN 0–12–122950–5

n° Library of Congress 79–51693

Classificazione Dewey: 004 Elaborazione dei dati; scienza degli elaboratori; informatica

Library of Congress: QA76 Mathematics

Paese di pubblicazioneStati Uniti d'America, Regno Unito, Australia, Giappone, Canada

LinguaInglese (Il documento è nella lingua originale dell'opera)

#	Collocazione	Prestabile	Disponibilità
ARGE1 (GE) - AREA	UTENZA: L.IV.3/24	Si	Biblioteca

IT/ItRC/00015850Blindata / PubblicabileCreata da GECA System Admin, 11/11/2014

Frontespizio/Indice

Monografia, Moderno