BiblioToscana - Handbook of logic in computer science

testo

Titolo: Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum

Pubblicazione: Oxford : Clarendon, 1992-

Tipo di risorsa: testo, Livello bibliografico: monografia, Lingua: eng, Paese: GB

Comprende:
Vol. 1: Background
Vol. 2: Background
3: Semantic structures
4: Semantic modelling
5: Logic and algebraic methods

Dettagli ↓

Quali biblioteche contattare per richiedere questa risorsa

apri il record nella vista accessibile con l'elenco delle Biblioteche

Soggetti / Termini

LOGICA
ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA

Dettaglio risultati per rete

Alcune catalogazioni sono state accorpate perché sembrano descrivere la stessa edizione. Per visualizzare i dettagli di ciascuna, clicca sul numero di record

Record aggiornato il: 2021-09-10T16:14:52.144Z

biblio toscana

Titolo: Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum

Quali biblioteche contattare per richiedere questa risorsa

Soggetti / Termini

Dettaglio risultati per rete

Banche dati

Il Portale

Titolo: Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum

Quali biblioteche contattare per richiedere questa risorsa

Soggetti / Termini

Dettaglio risultati per rete

Seguici su Twitter

I Nostri Social

Banche dati