TU Darmstadt / ULB / TUbiblio

Mathematical Induction

Walther, Christoph Gabbay, D. M. and Hogger, C. J. and Robinson, J. A. (eds.) (1994):
Mathematical Induction.
In: Handbook of Logic in Artificial Intelligence and Logic Programming - Volume 2: Deduction Methodologies, Oxford, Oxford University Press, pp. 127-228, [Online-Edition: https://global.oup.com/academic/product/handbook-of-logic-in...],
[Book Section]

Item Type: Book Section
Erschienen: 1994
Editors: Gabbay, D. M. and Hogger, C. J. and Robinson, J. A.
Creators: Walther, Christoph
Title: Mathematical Induction
Language: English
Title of Book: Handbook of Logic in Artificial Intelligence and Logic Programming - Volume 2: Deduction Methodologies
Volume: 2
Place of Publication: Oxford
Publisher: Oxford University Press
ISBN: 9780198537465
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Event Location: Oxford
Date Deposited: 27 Mar 2020 08:32
Official URL: https://global.oup.com/academic/product/handbook-of-logic-in...
Additional Information:

ULB-Bestand / Signatur ST304 H236 -2

Related URLs:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item