Logic machines.
2
Logic machines -- Congresses. / https://id.loc.gov/authorities/subjects/sh85078122 https://id.loc.gov/authorities/subjects/sh99001533 : Scandinavian Conference on Artificial Intelligence
2008
1
1
1
Logic, Medieval -- See Also the narrower term Consequentia (Logic)
1
Logic, Medieval.
21
Logic, Medieval -- Congresses.
3
Logic, Medieval -- History. / https://id.loc.gov/authorities/subjects/sh85078108 https://id.loc.gov/authorities/subjects/sh99005024 : Boehner, Philotheus.
1952
1
Logic, Medieval, in literature. / https://id.loc.gov/authorities/subjects/sh94006069 : Russell, J. Stephen.
1998
1
Logic, Medieval -- Study and teaching. / https://id.loc.gov/authorities/subjects/sh85078108 https://id.loc.gov/authorities/subjects/sh2001008697 : Parsons, Terence,
2014
1
Logic -- Methodology. / https://id.loc.gov/authorities/subjects/sh85078106 https://id.loc.gov/authorities/subjects/sh99001902 : Fu, Tzu-Keng,
2015
1
1
Logic, Modern -- See Also the narrower term First-order logic
1
Logic, Modern.
7
Logic, Modern -- 19th century. / https://id.loc.gov/authorities/subjects/sh85078113 : Maybee, Julie E.,
2009
1
Logic, Modern -- 20th century.
3
Logic, Modern -- 20th century -- Congresses.
2
Logic, Modern -- History.
3
1
1
1
Logic -- Periodicals.
1967
1
1
Logic -- Political aspects. / https://id.loc.gov/authorities/subjects/sh85078106 https://id.loc.gov/authorities/subjects/sh00005651 : Katz, Yarden,
2020
1
1
Logic programming.
10
Logic programming -- Congresses. / https://id.loc.gov/authorities/subjects/sh2008107111 : International Conference on Quantitative Logic and Soft Computing
2012
1
1
Logic puzzles. / lcgft https://id.loc.gov/authorities/genreForms/gf2014026124 : Smullyan, Raymond M.
1997
1
Logic puzzles -- History. / https://id.loc.gov/authorities/subjects/sh96011215 https://id.loc.gov/authorities/subjects/sh99005024 : Lubotsky, Alexander.
2010
1
Logic puzzles -- Juvenile literature. / https://id.loc.gov/authorities/subjects/sh96011215 https://id.loc.gov/authorities/subjects/sh99001674 : Dase, Pamela H.
2007
1
Logic -- Religious aspects -- Christianity. / https://id.loc.gov/authorities/subjects/sh85078106 https://id.loc.gov/authorities/subjects/sh2002006568 : Dickinson, Travis,
2022
1
1
1
Logic -- Study and teaching -- Congresses. / https://id.loc.gov/authorities/subjects/sh85078106 https://id.loc.gov/authorities/subjects/sh2001008697 https://id.loc.gov/authorities/subjects/sh99001533
1995
1
Logic, Symbolic and mathematical
--
37 Related Subjects
37
Logic, Symbolic and mathematical.
251
Logic, Symbolic and mathematical -- Charts, diagrams, etc. / https://id.loc.gov/authorities/subjects/sh85078115 https://id.loc.gov/authorities/subjects/sh99001425
1996
1
Logic, Symbolic and mathematical -- Congresses.
25
Logic, Symbolic and mathematical -- Data processing. / https://id.loc.gov/authorities/subjects/sh85078115 https://id.loc.gov/authorities/subjects/sh99005487 : Mueller, Erik T.
2006
1
Logic, Symbolic and mathematical -- Famous problems. / https://id.loc.gov/authorities/subjects/sh2005003533 : Kowalski, Robert.
2011
1
Logic, Symbolic and mathematical -- Graphic methods.
2
Logic, Symbolic and mathematical -- History -- 19th century. / https://id.loc.gov/authorities/subjects/sh85078115 https://id.loc.gov/authorities/subjects/sh2002006167 : Grattan-Guinness, I.
2000
1
Logic, Symbolic and mathematical -- History -- 20th century.
2
Logic, Symbolic and mathematical -- Methodology. / https://id.loc.gov/authorities/subjects/sh85078115 https://id.loc.gov/authorities/subjects/sh99001902 : Davis, Philip J.,
2006
1
Logic, Symbolic and mathematical -- Philosophy.
2
Logic, Symbolic and mathematical -- Popular works. / https://id.loc.gov/authorities/subjects/sh85078115 https://id.loc.gov/authorities/subjects/sh99001720 : Cheng, Eugenia,
2017
1
Logic, Symbolic and mathematical -- Programmed instruction.
3
Logic, Symbolic and mathematical -- Study and teaching. / https://id.loc.gov/authorities/subjects/sh85078115 https://id.loc.gov/authorities/subjects/sh2001008697
2017
1
Logic, Symbolic and mathematical -- Textbooks.
3
Save Marked Records
Save to List