Logic functions and equations examples and exercises /

Logic functions and equations examples and exercises /

Պահպանված է:

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Steinbach, Bernd (Հեղինակ)
Այլ հեղինակներ:	Posthoff, Christian
Ձևաչափ:	էլ․ գիրք
Լեզու:	English
Հրապարակվել է:	Dordrecht Springer Netherlands 2009.
Խորագրեր:	Systems engineering. Logic design. Computational complexity. Computer logic. Computer science > Mathematics.
Առցանց հասանելիություն:	Click here to view the full text content
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր

Logic functions and equations : binary models for computer science /
: Posthoff, Christian
Հրապարակվել է: (2004)

Logic functions and equations : binary models for computer science /
: Posthoff, Christian
Հրապարակվել է: (2004)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Հրապարակվել է: (2013)

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Հրապարակվել է: (2012)

Mathematical problems from applied logic I logics for the XXIst century /
Հրապարակվել է: (2006)

Deontic logic in computer science 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Հրապարակվել է: (2010)

Developments in language theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Հրապարակվել է: (2005)

Modelling computing systems : mathematics for computer science /
: Moller, Faron
Հրապարակվել է: (2013)

Logic and the foundations of game and decision theory LOFT 8 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers /
Հրապարակվել է: (2010)

Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Հրապարակվել է: (2013)

Logical foundations of computer science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
: Artemov, Sergei N.
Հրապարակվել է: (2007)

Deontic logic and normative systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
Հրապարակվել է: (2014)

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Հրապարակվել է: (2012)

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
Հրապարակվել է: (2012)

Formal methods in software and systems modeling essays dedicated to hartmut ehrig on the occasion of his 60th birthday
Հրապարակվել է: (2005)

Theoretical aspects of computing - ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
Հրապարակվել է: (2014)

Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
Հրապարակվել է: (2012)

Functional and logic programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
Հրապարակվել է: (2008)

The functional interpretation of logical deduction /
: Queiroz, Ruy J. G. B. de.
Հրապարակվել է: (2012)

Answer set programming for continuous domains: a fuzzy logic approach
: Janssen, Jeroen
Հրապարակվել է: (2012)

Computer science -- theory and applications 5th international computer science symposium in russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /
Հրապարակվել է: (2010)

Abstract state machines, alloy, B and Z second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
Հրապարակվել է: (2010)

FSTTCS 2007: foundations of software technology and theoretical computer science : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
Հրապարակվել է: (2007)

Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
Հրապարակվել է: (2013)

Computer science - theory and applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
Հրապարակվել է: (2013)

The multivariate algorithmic revolution and beyond : Essays dedicated to Michael R. fellows on the occasion of his 60th birthday /
Հրապարակվել է: (2012)

FSTTCS 2005: foundations of software technology and theoretical computer science / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

Computer science - Theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings /
Հրապարակվել է: (2012)

Abstract state machines, alloy, B, VDM, and Z : Third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Հրապարակվել է: (2012)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Հրապարակվել է: (2014)

Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Հրապարակվել է: (2010)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Հրապարակվել է: (2012)

Logic, language, information and computation 17th international workshop, woLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /
Հրապարակվել է: (2010)

Logic, language, information and computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. proceedings /
Հրապարակվել է: (2012)

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Հրապարակվել է: (2007)

Computation as logic /
: Lalement, Rene
Հրապարակվել է: (1993)

The logic of categorial grammars A deductive account of natural language syntax and semantics /
: Moot, Richard
Հրապարակվել է: (2012)

Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Հրապարակվել է: (2013)

Logic design theory /
: Biswas, Nripendra Nath
Հրապարակվել է: (1993)