Programmable logic

Programmable logic

Saved in:

Bibliographic Details
Format:	Texto biblioteca
Language:	d
Published:	Canada, INTEL, 1990
Subjects:	ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING, LOGIC, SYMBOLIC AND MATHEMATICAL,
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Logic for problem solving /
by: Kowalski, Robert
Published: (1979)

Logic programming /
Published: (1982)

The logic design of transistor digital computers /
by: Maley, Gerald A.
Published: (1963)

Logic and computer science /
by: Odifreddi, Piergiorgio edit.
Published: (1990)

Rewriting Techniques and Applications [electronic resource] : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings /
by: Middeldorp, Aart. editor., et al.
Published: (2001)

Rewriting Techniques and Applications [electronic resource] : 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings /
by: Comon, Hubert. editor., et al.
Published: (1997)

Rewriting Techniques and Applications [electronic resource] : 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings /
by: Comon, Hubert. editor., et al.
Published: (1997)

Rewriting Techniques and Applications [electronic resource] : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings /
by: Narendran, Paliath. editor., et al.
Published: (1999)

Rewriting Techniques and Applications [electronic resource] : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings /
by: Narendran, Paliath. editor., et al.
Published: (1999)

Constraint satisfaction in logic programming/
by: Van Hentenryck, Pascal
Published: (1989)

Rewriting Techniques and Applications [electronic resource] : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings /
by: Tison, Sophie. editor., et al.
Published: (2002)

Rewriting Techniques and Applications [electronic resource] : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings /
by: Tison, Sophie. editor., et al.
Published: (2002)

Rewriting Techniques and Applications [electronic resource] : 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings /
by: Dershowitz, Nachum. editor., et al.
Published: (1989)

Rewriting Techniques and Applications [electronic resource] : 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings /
by: Dershowitz, Nachum. editor., et al.
Published: (1989)

Rewriting Techniques and Applications [electronic resource] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings /
by: Bachmair, Leo. editor., et al.
Published: (2000)

Rewriting Techniques and Applications [electronic resource] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings /
by: Bachmair, Leo. editor., et al.
Published: (2000)

Rewriting Techniques and Applications [electronic resource] : 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings /
by: Book, Ronald V. editor., et al.
Published: (1991)

Rewriting Techniques and Applications [electronic resource] : 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings /
by: Book, Ronald V. editor., et al.
Published: (1991)

Informatik und Mathematik [electronic resource] /
by: Broy, Manfred. editor., et al.
Published: (1991)

Informatik und Mathematik [electronic resource] /
by: Broy, Manfred. editor., et al.
Published: (1991)

Attribute Grammars and their Applications [electronic resource] : International Conference WAGA Paris, France, September 19–21, 1990 Proceedings /
by: Deransart, P. editor., et al.
Published: (1990)

Attribute Grammars and their Applications [electronic resource] : International Conference WAGA Paris, France, September 19–21, 1990 Proceedings /
by: Deransart, P. editor., et al.
Published: (1990)

Eurocal '87 [electronic resource] : European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings /
by: Davenport, James H. editor., et al.
Published: (1989)

Eurocal '87 [electronic resource] : European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings /
by: Davenport, James H. editor., et al.
Published: (1989)

Unified theory of intelligent databases
by: Peter, Hadrian
Published: (2008-12-11T20:21:30Z)

Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski Part II /
by: Kakas, Antonis C. editor., et al.
Published: (2002)

Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski Part II /
by: Kakas, Antonis C. editor., et al.
Published: (2002)

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms [electronic resource] /
by: Lavrov, Igor. author., et al.
Published: (2003)

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms [electronic resource] /
by: Lavrov, Igor. author., et al.
Published: (2003)

Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings /
by: Bergman, Clifford H. editor., et al.
Published: (1990)

Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings /
by: Bergman, Clifford H. editor., et al.
Published: (1990)

Recent Trends in Algebraic Development Techniques [electronic resource] : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers /
by: Cerioli, Maura. editor., et al.
Published: (2002)

Recent Trends in Algebraic Development Techniques [electronic resource] : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers /
by: Cerioli, Maura. editor., et al.
Published: (2002)

Algebraic Methodology and Software Technology [electronic resource] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings /
by: Rattray, Charles. editor., et al.
Published: (2004)

Algebraic Methodology and Software Technology [electronic resource] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings /
by: Rattray, Charles. editor., et al.
Published: (2004)

Handbook of logic in artificial intelligence and logic programming / [et al]
by: Gabbay, Dov M. edit.
Published: (1993)

Automated Practical Reasoning [electronic resource] : Algebraic Approaches /
by: Pfalzgraf, Jochen. editor., et al.
Published: (1995)

Automated Practical Reasoning [electronic resource] : Algebraic Approaches /
by: Pfalzgraf, Jochen. editor., et al.
Published: (1995)

Automated Deduction — A Basis for Applications [electronic resource] : Volume III Applications /
by: Bibel, Wolfgang. editor., et al.
Published: (1998)

Automated Deduction — A Basis for Applications [electronic resource] : Volume III Applications /
by: Bibel, Wolfgang. editor., et al.
Published: (1998)

Resource Map

Cannot write session to /tmp/vufind_sessions/sess_8c42e2917r2ib0lham96tkq84k