Title: Advances in computing science--ASIAN '99
First published: 1999
Subjects: Congresses, Electronic data processing, Computer science, Informatique, Berechnungstheorie, Informatik, Programutvikling, Formale Sprache, Informatica, Kongress, Technologie de l'information, Programmiersprache, Congres, Automatisches Beweisverfahren, Kongresser
LC classification: QA75.5 .A735 1999, QA75.5 .A735 1999