Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions...

Cijeli opis

Bibliografski detalji

Autor kompanije:	Workshop on computer science logic :San Miniato, Italie
Daljnji autori:	Börger, Egon, 1946- (Voditelj izdanja), Jäger, Gerhard, 1953- (Voditelj izdanja), Kleine Büning, Hans, 1948- (Voditelj izdanja), Martini, Simone, 19..-..., informaticien (Voditelj izdanja), Richter, Michael M., 1938-2020, mathématicien (Voditelj izdanja)
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science 702
Teme:	Informatique Algorithmes Intelligence artificielle Logique symbolique et mathématique Analyse combinatoire Actes de congrès
Online pristup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Bilješka:	Autres contributeurs : S. Martini, M. M. Richter (eds) Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computer science logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992, selected papers, E. Börger, G. Jäger, H. Kleine Büning ... [et al.] (Eds), 1993, Berlin, Springer-Verlag, 1 vol. (viii- 439 p.), Lecture notes in computer science, 3-540-56992-8 • Computer Science Logic, Texte imprimé, 9783662213285