Naval Weapons Laboratory, Dahlgren, Va.: NWL technical report TR. 2864. Role of theorem proving in artificial intelligence [-with list of references]; by Hartmut G. M. Huber.
Publication Title:
Role of theorem proving in artificial intelligence [-with list of references]; by Hartmut G. M. Huber.
Display Title:
Naval Weapons Laboratory, Dahlgren, Va.: NWL technical report TR. 2864. Role of theorem proving in artificial intelligence [-with list of references]; by Hartmut G. M. Huber.
Series Title:
Naval Weapons Laboratory, Dahlgren, Va.: NWL technical report TR.
Corporate Agency Authors:
Navy Department and Defense Dept.
Sort Author:
Navy Department
Authors:
Huber, Hartmut G. M.
Author place:
Washington, DC
Author zip:
20350
Date:
Nov. 1972
Publish Date ISO Format:
1972-11-01T00:00:00Z
Publication Start:
19721101
Publication End:
19721130
Corporate/Agency Author:
Navy Department
Publication month:
2
Publication year:
1972
SuDoc number:
D 201.21:(nos.)
Description:
[35] p. 4°
Notes:
@ For Sale by National Technical Information Service, Springfield, VA 22151. (Price upon application).
Availability:
@ For Sale by National Technical Information Service, Springfield, VA 22151. (Price upon application).