answersLogoWhite

0

Alexander Leitsch has written:

'The resolution calculus' -- subject(s): Automatic theorem proving

User Avatar

Wiki User

10y ago

What else can I help you with?

Related Questions

What has the author Walter Leitsch written?

Walter Leitsch has written: 'Moskau und die Politik des Kaiserhofes im 17. Jahrhundert' -- subject(s): Foreign relations 'Russland, Polen Und Osterreich in Der Fruhen Neuzeit'


What has the author Patricia Kearns Leitsch written?

Patricia Kearns Leitsch has written: 'RELATIONSHIP BETWEEN SELECTED ACADEMIC AND DEMOGRAPHIC VARIABLES AND SUCCESS IN LICENSED PRACTICAL NURSING PROGRAMS (TABE)' -- subject(s): Education, Vocational, Health Sciences, Nursing, Nursing Health Sciences, Vocational education


What has the author Alexander Gillies written?

Alexander Gillies has written: 'Herder'


What has the author Alexander Darke written?

Alexander Darke has written: 'Legacies'


What has the author Alexander Ireland written?

Alexander Ireland has written: 'In memoriam'


What has the author Alexander Gode written?

Alexander Gode has written: 'Interlingua'


What has the author Alexander Lamb written?

Alexander Lamb has written: 'Dundee'


What has the author Alexander Weicker written?

Alexander Weicker has written: 'Fetzen'


What has the author Alexander Campbell written?

Alexander Campbell has written: 'Answers for Colonel Alexander Campbell'


What has the author Alexander McLachlan written?

Alexander McLachlan has written: 'The poetical works of Alexander McLachlan'


What has the author Alexander Mann written?

Alexander Mann has written: 'Alexander Mann, 1853-1908'


What has the author Alexander Brodie written?

Alexander Brodie has written: 'The diary of Alexander Brodie of Brodie'