Liste de favoris
La liste de favoris est vide.
Le panier est vide.
Envoi gratuit possible
Envoi gratuit possible
Veuillez patienter - l'impression de la page est en cours de préparation.
La boîte de dialogue d'impression s'ouvre dès que la page a été entièrement chargée.
Si l'aperçu avant impression est incomplet, veuillez le fermer et sélectionner "Imprimer à nouveau".

Computer Science Logic

6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
LivreLivre de poche
Classement des ventes 18642dansIntroductions
CHF75.90

Description

The proceedings of a computer science logic workshop, this volume covers such topics as Turing machines, the logic of proofs, linear logic, optimization problems, the semantics of C, classes for a functional language, sconing and relators, NP-completeness and fixpoint logic.

Détails

ISBN/GTIN978-3-540-56992-3
Type de produitLivre
ReliureLivre de poche
ÉditeurSpringer
Date de parution11.08.1993
Edition1993
SérieLecture Notes in Computer Science
No. de série702
Pages456 pages
LangueAnglais
DimensionsLargeur 155 mm, Hauteur 235 mm, Épaisseur 25 mm
Poids686 g
Groupe de produitsInformatique
CatégorieIntroductions
Plus de détails

Série

Evaluations

Auteur

Egon Börger ist Professor für Informatik an der Universität Pisa (Italien) und Alexander-von-Humboldt-Forschungspreisträger.

Plus de produits de Börger, Egon

Editeur

Mot-clé

Recommandations

Recherches récentes