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!

Keine Ergebnisse!