This book is the final report on a comprehensive basic research project, named GOSLER on algorith...

This volume presents the proceedings of the Fourth International Workshop on Analogical and Induc...

This proceedings volume contains a selection of revised andextended papers presented at the Secon...

This volume contains the papers that were presented at theThird Workshop onAlgorithmic Learning T...

These are the conference proceedings of the 4th International Conference on Discovery Science (DS...

This volume contains all the papers that were presented atthe Fourth Workshop on Algorithmic Lear...

The algebraic specification of abstract data types is now awell establishedresearch topic in comp...

This volume contains the text of the five invited papers and16 selectedcontributions presented at...

Verification of an alternating bit protocol by means of process algebra protocol.- Predicative pr...

This volume contains revised versions of presentations at the International Workshop on Analogica...

The 9th International Conference on Discovery Science (DS 2006) was held in Barcelona, Spain, on ...

This proceedings volume contains revised and reviewed papersbased on talks presented at the first...