Algorithms in C, Parts 1-4
Robert Sedgewick
Readings in Knowledge Representation
Ronald J. Brachman & Hector J. Levesque
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
Puppet for Containerization
Scott Coulton
Logico-Linguistic Papers
P. F. Strawson
Die Gesellschaft der Nachhaltigkeit: Umrisse eines Forschungsprogramms
Sighard Neckel & Natalia Besedovsky & Moritz Boddenberg & Martina Hasenfratz & Sarah Miriam Pritz & Timo Wiegand