klaus p jantke
Algorithmic Learning Theory
TaschenbuchPrint on DemandThis volume contains all the papers that were presented atthe Fourth Workshop on Algorithmic ...
Mathematical Methods of Specification and Synthesis of Software Systems ’85
TaschenbuchPrint on DemandInhaltsangabeVerification of an alternating bit protocol by means of process algebra protocol.- P...
Analogical and Inductive Inference
TaschenbuchPrint on DemandThis volume contains revised versions of presentations at the International Workshop on Analogica...
Nonmonotonic and Inductive Logic
TaschenbuchPrint on DemandThis proceedings volume contains revised papers from the first International Workshop on Nonmonot...
Algorithmic Learning for Knowledge-Based Systems
TaschenbuchPrint on DemandInhaltsangabeLearning and consistency.- Error detecting in inductive inference.- Learning from go...
Recent Trends in Data Type Specification
TaschenbuchPrint on DemandThis volume contains the proceedings of a workshop on specification of abstract data types. The m...
Algorithmic Learning Theory
TaschenbuchPrint on DemandInhaltsangabeGrammatical inference: An old and new paradigm.- Efficient learning of real time one...
Algorithmic Learning Theory
TaschenbuchPrint on DemandThis volume presents the proceedings of the Fourth International Workshop on Analogical and Induc...
Analogical and Inductive Inference
TaschenbuchPrint on DemandInhaltsangabeRepresenting the spatial kinematic domain and lattice computers.- A solution of the ...
Discovery Science
TaschenbuchPrint on DemandThese are the conference proceedings of the 4th International Conference on Discovery Science (DS...
Nonmonotonic and Inductive Logic
TaschenbuchPrint on DemandInhaltsangabeA tutorial on Nonmonotonic Reasoning.- On the sample complexity of various learning ...
- 1