Libri e Riviste

Automated practical reasoning : algebraic approaches / Jochen Pfalzgraf and Dongming Wang (eds.) ; with a foreword by Jim Cunningham

Responsabilità secondaria Pfalzgraf, Jochen (Curatore)

Persona
Ruolo: Curatore

Persona
Ruolo: Curatore

Persona
Ruolo: Autore introduzione, etc.

Fa parte della collezioneTexts and monographs in symbolic computation

Descrizione fisicaxi, 223 p. ; 24 cm

Codici internazionaliISBN 3–211–82600–9 (Springer–Verlag Wien New York)

ISBN 0–387–82600–9 (Springer–Verlag New York Wien)

n° Library of Congress 95–1923

Classificazione Dewey: 005 Programmazione, programmi, dati degli elaboratori

Library of Congress: QA76 Mathematics

Paese di pubblicazioneAustria, Stati Uniti d'America

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

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

IT/ItRC/00015848Blindata / PubblicabileCreata da GECA System Admin, 21/10/2014

Frontespizio/Indice

Monografia, Moderno