m
     
Congrès

H 0 Non-standard logics and logical aspects of computer science
First workshop on ... nsl'94
dec. 5-8

Ono, H (Editeur)

Elsevier

1997

00022527

03B22 ; 03B25 ; 03B45 ; 18-06 ; 18A15 ; 60-06 ; 68N17 ; 68N99

LOGSPACE # automate # calcul lambda # décidabilité # informatique théorique # intuition # langage delta # logique de programmation # logique non standard # système de réécriture # système déductif

Ville d'édition : Amsterdam ; Lausane ; N.y.

Pays d'édition : Pays-Bas

Langue : Anglais

Collation : 222 p. 26 cm broch. ; Bibliogr.

Collection : Theoretical computer science

N° de collection : 0175

Localisation : Colloque 1er étage (KANA)

Année de la rencontre : 1994

Ville du congrès : Kanazawa

Pays du congrès : Japon

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00022527 [disponible]
Z