Vai al contenuto principale della pagina

Logic of domains / Guo-Qiang Zhang



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Zhang, Guo-Qiang Visualizza persona
Titolo: Logic of domains / Guo-Qiang Zhang Visualizza cluster
Pubblicazione: Bristol [etc.] : Birkauser, 1991
Disciplina: 005.13
Soggetto non controllato: linguaggi di programmazione semantica
logica matematica
logica simbolica
Titolo autorizzato: Logic of domains  Visualizza cluster
ISBN: 3-7643-3570-X
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990000160650203316
Lo trovi qui: Univ. di Salerno
Collocazione: 005.13 ZHA
Opac: Controlla la disponibilità qui
Biblioteca: Univ. di Salerno
Opac: Controlla la disponibilità qui