×
books.google.com からのisbn:0444854401
This volume contains 31 papers prepared for the Colloquium on Mathematical Logic in Programming held in Salgótarján, Hungary.