Types for proofs and programs International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
2003
|
| Schriftenreihe: | Lecture notes in computer science
2646 |
| Schlagworte: |
ESPECIFICAÇÃO DE PROGRAMAS E SISTEMAS
> Kunstmatige intelligentie
> LINGUAGEM DE PROGRAMAÇÃO
> Logica
> LÓGICA MATEMÁTICA
> Programmation (Informatique) - Congrès
> Programmeertalen
> Théorèmes - Démonstration automatique - Congrès
> Logik
> Automatic theorem proving
> Computer programming
> Beweistheorie
> Reduktionssystem
> Typentheorie
> Programmierung
> Typsystem
> Konferenzschrift
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | VIII, 330 S. |
|---|---|
| ISBN: | 354014031X 3-540-14031-X |