m
     
Ouvrage

H 0 Logic for applications

Nerode, Anil (Principal) ; Shore, Richard A. (Co-auteur)

Springer

1997

456 p.

978-0-387-94893-5

00021456

03B45 ; 68N17 ; 68Q40 ; 68T27 ; 68T30

application # informatique théorique # logique des prédicats # logique intuitive # logique mathématique # logique modale # logique symbolique # prologue # élément de théorie d'ensemble

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : États-Unis

Langue : Anglais

N° édition : 2nd ed.

EAN13 : 9780387948935

ISBN : 0-387-94893-7

Collation : Bibliogr ; ill.#appendix#24 cm#rel. ; Index

Collection : Graduate texts in computer science

Localisation : Ouvrage RdC (NERO)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00021456

[disponible]
Z