Williams, James G.: Girardians
/ James G. Williams. The Colloquium on Violence and Religion, 1990 - 2010. - Wien : Lit, 2012. - XII, 322 S. : Ill.; 21 cm - (Beiträge zur mimetischen Theorie; Bd. 32)
ISBN 978-3-643-90281-8 kart.
Literaturangaben
Quelle: DNB
Williams, James G.: Instantiation theory
: on the foundations of automated deduction / J. G. Williams. - Berlin : Springer, 1991. - VIII, 133 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 518 : Lecture notes in artificial intelligence)
ISBN 978-3-540-54333-6 / 3-540-54333-3 kart. : DM 29.50
Literaturverz. S. 128 - 133
Quelle: DNB