Logic Programming and Automated Reasoning

Editor:

AVAndrei Voronkov
Andrei Voronkov

Publisher website

1 January 1993

book
Published by Springer Nature

DOI:10.1007/3-540-56944-8

Abstract

No abstract available

Keywords

Cited by 2 articles