Logic, computing machines, and automation.
| Main Author: | Hilton, Alice Mary |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cleveland :
World Pub. Co.,
[1963]
|
| Series: | Meridian Books, M171
|
| Subjects: |
Similar Items
Handbook of practical logic and automated reasoning /
by: Harrison, J. (John), 1966-
Published: (2009)
by: Harrison, J. (John), 1966-
Published: (2009)
Computational logic /
Published: (2014)
Published: (2014)
Automated deduction in multiple-valued logics /
by: Hähnle, Reiner
Published: (1993)
by: Hähnle, Reiner
Published: (1993)
Computer logic : design principles and applications /
by: Hsu, John Y.
Published: (2002)
by: Hsu, John Y.
Published: (2002)
Logic in computer science : modelling and reasoning about systems /
by: Huth, Michael, 1962-
Published: (2000)
by: Huth, Michael, 1962-
Published: (2000)
Journal of logic and computation.
Journal of logic and computation.
Published: (1990)
Published: (1990)
An introduction to the logic of the computing sciences : a contemporary look at symbolic logic /
by: Von Dohlen, Richard F.
Published: (1999)
by: Von Dohlen, Richard F.
Published: (1999)
Discrete structures, logic, and computability /
by: Hein, James L.
Published: (2017)
by: Hein, James L.
Published: (2017)
From logic to computing /
by: McArthur, Robert P., 1944-
Published: (1991)
by: McArthur, Robert P., 1944-
Published: (1991)
Symbolic logic and intelligent machines.
by: Berkeley, Edmund Callis
Published: (1959)
by: Berkeley, Edmund Callis
Published: (1959)
Arithmetic and logic in computer systems /
by: Lu, Mi
Published: (2004)
by: Lu, Mi
Published: (2004)
Fuzzy logic and soft computing /
Published: (1999)
Published: (1999)
Logic programming and soft computing /
Published: (1998)
Published: (1998)
Temporal logic : mathematical foundations and computational aspects /
by: Gabbay, Dov M., 1945-
Published: (1994)
by: Gabbay, Dov M., 1945-
Published: (1994)
Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings /
Published: (2000)
Published: (2000)
The logical basis for computer programming /
by: Manna, Zohar
Published: (1985)
by: Manna, Zohar
Published: (1985)
Handbook of logic in computer science /
Published: (1992)
Published: (1992)
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /
Published: (1999)
Published: (1999)
Lectures on soft computing and fuzzy logic /
Published: (2001)
Published: (2001)
Logic for computer science and artificial intelligence /
by: Caferra, Ricardo, 1945-
Published: (2011)
by: Caferra, Ricardo, 1945-
Published: (2011)
Computational Logic : Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997 /
by: Berger, Ulrich
Published: (1999)
by: Berger, Ulrich
Published: (1999)
Computer science logic : 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings /
Published: (1997)
Published: (1997)
Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : proceedings /
Published: (1998)
Published: (1998)
Computational logic--CL 2000 : First International Conference, London, UK, July 24-28, 2000 : proceedings /
Published: (2000)
Published: (2000)
Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings /
Published: (1999)
Published: (1999)
Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings /
Published: (1999)
Published: (1999)
Computer science logic : 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings /
Published: (2000)
Published: (2000)
Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Published: (2001)
Published: (2001)
Computer science logic : 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings /
Published: (2006)
Published: (2006)
Computer science logic : 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /
Published: (2004)
Published: (2004)
Computer science logic : 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings /
Published: (2005)
Published: (2005)
Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings /
Published: (2002)
Published: (2002)
Logic, language, and computation /
Published: (1997)
Published: (1997)
Program development in computational logic : a decade of research advances in logic-based program development /
Published: (2004)
Published: (2004)
Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers /
Published: (2006)
Published: (2006)
Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings /
Published: (2003)
Published: (2003)
Computational logic : logic programming and beyond /
Published: (2002)
Published: (2002)
Digital logic design and computer organization with computer architecture for security /
by: Faroughi, Nikrouz
Published: (2015)
by: Faroughi, Nikrouz
Published: (2015)
Propositional logic : deduction and algorithms /
by: Kleine Büning, H. (Hans)
Published: (1999)
by: Kleine Büning, H. (Hans)
Published: (1999)