Logics and Meanings of Programs; Artificial Intell

Verification of Business Rules Programs

2014 · ENGLISH · PDF

View details →

Designing Evolutionary Algorithms for Dynamic Environments

2004 · ENGLISH · PDF

View details →

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

1993 · ENGLISH · PDF

View details →

Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings

1986 · ENGLISH · PDF

View details →

Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings

1986 · ENGLISH · DJVU

View details →

Logical Aspects of Computational Linguistics: Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers

1999 · ENGLISH · PDF

View details →