Essays in Honour of Robert A. Kowalski Part I
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Applications in Logic > 533-560
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Applications in Logic > 561-585
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Applications in Logic > 586-625
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Applications in Logic > 626-654
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Applications in Logic > 655-675
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > A Portrait of a Scientist as a Computational Logician > 1-4
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Bob Kowalski: A Portrait > 5-25
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Directions for Logic Programming > 26-32
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Extensions of Logic Programming > 402-436
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Extensions of Logic Programming > 437-471
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Extensions of Logic Programming > 472-511
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Extensions of Logic Programming > 512-532
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Logic Programming Languages > 33-65
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Logic Programming Languages > 66-104
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Logic Programming Languages > 105-137
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Logic Programming Languages > 138-161
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Program Derivation and Properties > 162-186
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Program Derivation and Properties > 187-210
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Program Derivation and Properties > 211-239
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Program Derivation and Properties > 240-272