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

Perspectives of system informatics second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Andrei Ershov Memorial Conference (BerichterstatterIn)
Weitere Verfasser: Bjørner, Dines (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 1996
Schriftenreihe:Lecture notes in computer science 1181
Schlagworte:
Ershov, A. P <Andreĭ Petrovich> - Congrès > Ershov, A. P., (Andreĭ Petrovich) -- Congresses > Fundamentele informatica > Informatique - Congrès > Ingénierie des systèmes - Congrès > Ingénierie des systèmes > Kunstmatige intelligentie > Ordinateurs - Programmation - Congrès > Programmation (Informatique) - Congrès > Programmatuurtechniek > apprentissage machine > concurrence > informatique théorique > intelligence artificielle > interface graphique > interprétation abstraite > méthodologie programmation > programmation en logique > programmation par objets > sémantique > traitement langage naturel > évaluation partielle > Informatik > Computer science -- Congresses > Computer programming -- Congresses > Systems engineering -- Congresses > Theoretische Informatik > Künstliche Intelligenz > Model Checking > Programmierung > Konferenzschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XVII, 446 S.
Ill., graph. Darst.
ISBN:3540620648
3-540-62064-8