Logic functions and equations examples and exercises /

Logic functions and equations examples and exercises /

保存先:

書誌詳細
第一著者:	Steinbach, Bernd (著者)
その他の著者:	Posthoff, Christian
フォーマット:	eBook
言語:	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)