Prentice Hall Series in Automatic Computation
E656394
Prentice Hall Series in Automatic Computation is a classic academic book series focused on foundational topics in computer science, particularly algorithms, data structures, and programming theory.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Prentice Hall Series in Automatic Computation canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T7329623 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Prentice Hall Series in Automatic Computation Context triple: [Algorithms + Data Structures = Programs, partOfSeries, Prentice Hall Series in Automatic Computation]
-
A.
An Axiomatic Basis for Computer Programming
"An Axiomatic Basis for Computer Programming" is a seminal 1969 paper by C.A.R. Hoare that introduced the formal logical system now known as Hoare logic for reasoning about program correctness.
-
B.
Control Program for Microcomputers
Control Program for Microcomputers is an early operating system widely used on 8-bit microcomputers in the late 1970s and early 1980s, known for influencing the design of later systems like MS-DOS.
-
C.
A Logical Design of an Intermediate Speed Digital Computer
"A Logical Design of an Intermediate Speed Digital Computer" is Gene Amdahl’s doctoral thesis, presenting an early and influential computer architecture design that helped launch his career in computer engineering.
-
D.
the Logic Theorist program
The Logic Theorist program was an early artificial intelligence system developed in the 1950s that automatically proved theorems in symbolic logic and is often regarded as the first AI program.
-
E.
IBM 1401, A User’s Manual
IBM 1401, A User’s Manual is an ambient/electronic concept album by Icelandic composer Jóhann Jóhannsson that blends orchestral music with vintage computer sounds inspired by the IBM 1401 mainframe.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Prentice Hall Series in Automatic Computation Target entity description: Prentice Hall Series in Automatic Computation is a classic academic book series focused on foundational topics in computer science, particularly algorithms, data structures, and programming theory.
-
A.
An Axiomatic Basis for Computer Programming
"An Axiomatic Basis for Computer Programming" is a seminal 1969 paper by C.A.R. Hoare that introduced the formal logical system now known as Hoare logic for reasoning about program correctness.
-
B.
Control Program for Microcomputers
Control Program for Microcomputers is an early operating system widely used on 8-bit microcomputers in the late 1970s and early 1980s, known for influencing the design of later systems like MS-DOS.
-
C.
A Logical Design of an Intermediate Speed Digital Computer
"A Logical Design of an Intermediate Speed Digital Computer" is Gene Amdahl’s doctoral thesis, presenting an early and influential computer architecture design that helped launch his career in computer engineering.
-
D.
the Logic Theorist program
The Logic Theorist program was an early artificial intelligence system developed in the 1950s that automatically proved theorems in symbolic logic and is often regarded as the first AI program.
-
E.
IBM 1401, A User’s Manual
IBM 1401, A User’s Manual is an ambient/electronic concept album by Icelandic composer Jóhann Jóhannsson that blends orchestral music with vintage computer sounds inspired by the IBM 1401 mainframe.
- F. None of above. chosen
Statements (25)
| Predicate | Object |
|---|---|
| instanceOf |
academic book series
ⓘ
computer science book series ⓘ |
| audience |
computer science researchers
ⓘ
professional computer scientists ⓘ university students ⓘ |
| category |
monographs
ⓘ
textbooks ⓘ |
| field | computer science ⓘ |
| focusesOn |
algorithms
ⓘ
automatic computation ⓘ data structures ⓘ foundations of computing ⓘ programming theory ⓘ theoretical computer science ⓘ |
| knownFor |
classic status in computer science education
ⓘ
foundational treatments of algorithms ⓘ rigorous theoretical coverage ⓘ |
| language | English ⓘ |
| medium | print ⓘ |
| publisher | Prentice Hall NERFINISHED ⓘ |
| topic |
automata theory
ⓘ
complexity theory ⓘ computability ⓘ formal languages ⓘ programming languages ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Prentice Hall Series in Automatic Computation Description of subject: Prentice Hall Series in Automatic Computation is a classic academic book series focused on foundational topics in computer science, particularly algorithms, data structures, and programming theory.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
Algorithms + Data Structures = Programs
→
partOfSeries
→
Prentice Hall Series in Automatic Computation
ⓘ