

Automated Reasoning with Analytic Tableaux and Related Methods
584,-

Inductive Logic Programming
584,-

Automated Reasoning with Analytic Tableaux and Related Methods
584,-

Programming Languages and Systems
584,-

Functional and Logic Programming
584,-

Functional and Logic Programming
584,-

Critical Systems
584,-

Theory and Practice of Natural Computing
431,-

Graph-Based Representations in Pattern Recognition
584,-

Computer Analysis of Images and Patterns
674,-

Automated Reasoning with Analytic Tableaux and Related Methods
584,-

Inductive Logic Programming
584,-

Automated Reasoning with Analytic Tableaux and Related Methods
584,-

Programming Languages and Systems
584,-

Functional and Logic Programming
584,-

Functional and Logic Programming
584,-

Critical Systems
584,-

Theory and Practice of Natural Computing
431,-

Graph-Based Representations in Pattern Recognition
584,-

Computer Analysis of Images and Patterns
674,-















