Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 28, 1996 : proceedings

This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly ref...

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	International Andrei Ershov Memorial Conference :Akademgorodok, Novosibirsk, Russie
Weitere Verfasser:	Bjørner, Dines, 1937- (Verlagsleitung), Broy, Manfred, 1949- (Verlagsleitung), Pottosin, Igor½ Vasil½evich, 1933-2001 (Verlagsleitung)
Format:	Livre numérique
Sprache:	Anglais
Veröffentlicht:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Schriftenreihe:	Lecture notes in computer science 1181
Schlagworte:	Génie logiciel Informatique Ingénierie des systèmes Ordinateurs Intelligence artificielle Logique symbolique et mathématique Actes de congrès
Online Zugang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Anmerkung:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Perspectives of system informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 1996, proceedings, Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.), 1996, Berlin, Springer, 1 vol. (XVII-446 p.), Lecture notes in computer science, 3-540-62064-8 • Perspectives of System Informatics, Texte imprimé, 9783662194317