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...

This book constitutes the refereed proceedings of the 6th International Workshop on Algorithmic L...

Inductive inference from good examples.- Inductive inference, DFAs, and computational complexity....

Keine ausführliche Beschreibung für 'Grundlagen der künstlichen Intelligenz' verfügbar.

No detailed description available for 'Mathematical Methods of Specification and Synthesis of Sof...

The lives of people all around the world, especially in industrialized nations, continue to be ch...

This volume contains the papers presented at the 14th Annual Conference on Algorithmic Learning T...