|
|
Foundations of digital logic design [electronic resource] / Gideon Langholz, Abraham Kandel, Joe L. Mott.
by Langholz, Gideon | Kandel, Abraham | Mott, Joe L. Material type: Computer file; Format:
electronic
available online
Publisher: Singapore : World Scientific Publishing Co. Pte Ltd., ©1998Other title: Digital logic design.Online access: Access to full text is restricted to subscribers. Availability: No items available
|
|
|
Logic in wonderland [electronic resource] : an introduction to logic through reading Alice's adventures in wonderland : teacher's guidebook / Nitsa Movshovitz-Hadar, Atara Shriki.
by Movshovitz-Hadar, Nitsa | Shriki, Atara. Material type: Computer file; Format:
electronic
available online
Publisher: Singapore : WS Education, an imprint of World Scientific Publishing Co. Pte Ltd., ©2019Online access: Access to full text is restricted to subscribers. Availability: No items available
|
|
|
Logic in wonderland [electronic resource] : an introduction to logic through reading Alice's adventures in wonderland : student's workbook / Nitsa Movshovitz-Hadar, Atara Shriki.
by Movshovitz-Hadar, Nitsa | Shriki, Atara. Material type: Computer file; Format:
electronic
available online
Publisher: Singapore : WS Education, an imprint of World Scientific Publishing Co. Pte Ltd., ©2019Online access: Access to full text is restricted to subscribers. Availability: No items available
|
|
|
Set theory and foundations of mathematics [electronic resource] : an introduction to mathematical logic. Vol. 1, Set theory / by Douglas Cenzer...[et al.].
by Cenzer, Douglas. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific, [2020]Online access: Access to full text is restricted to subscribers. Availability: No items available
|
|
|
Logic programming languages : constraints, functions, and objects / edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten.
by Apt, Krzysztof R, 1949- | Bakker, J. W. de (Jacobus Willem), 1939- | Rutten, J. J. M. M | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1993Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
|
|
|
Warren's abstract machine : a tutorial reconstruction / Hassan A�it-Kaci.
by A�it-Kaci, Hassan, 1954- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1991Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1991]Online access: Abstract with links to resource Availability: No items available
|
|
|
Logic testing and design for testability / Hideo Fujiwara.
by Fujiwara, Hideo [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1985Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1985]Online access: Abstract with links to resource Availability: No items available
|
|
|
Communication complexity : a new approach to circuit depth / Mauricio Karchmer.
by Karchmer, Mauricio [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1989Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1989]Dissertation note: Thesis (doctoral)--Hebrew University, 1988. Online access: Abstract with links to resource Availability: No items available
|
|
|
Circuit design with VHDL / Volnei A. Pedroni.
by Pedroni, Volnei A [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | NetLibrary, Inc. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c2004Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2004]Other title: Circuit design with VHSIC hardware description language.Online access: Abstract with links to resource Availability: No items available
|
|
|
Logic programming : proceedings of the eleventh International Conference on Logic Programming / edited by Pascal Van Hentenryck.
by Van Hentenryck, Pascal | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Mass : MIT Press, 1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
|
|
|
Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.
by Harel, David, 1950- | Kozen, Dexter, 1951- | Tiuryn, Jerzy | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Online access: Abstract with links to resource Availability: No items available
|
|
|
Circuit complexity and neural networks / Ian Parberry.
by Parberry, Ian [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
|
|
|
The logic of knowledge bases / Hector J. Levesque and Gerhard Lakemeyer.
by Levesque, Hector J, 1951- | Lakemeyer, Gerhard | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2001]Online access: Abstract with links to resource Availability: No items available
|
|
|
Logic and information flow / edited by Jan van Eijck and Albert Visser.
by Eijck, J. van (Jan) | Visser, Albert | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
|
|
|
From logic to logic programming / Kees Doets.
by Doets, Kees [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
|
|
|
The art of causal conjecture / Glenn Shafer.
by Shafer, Glenn, 1946- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Online access: Abstract with links to resource Availability: No items available
|
|
|
A grammatical view of logic programming / Pierre Deransart, Jan Ma�uszy�nski.
by Deransart, Pierre [author.] | Ma�uszy�nski, Jan | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Institut national de recherche en informatique et en automatique (France). Material type: Book; Format:
available online
Publisher: Le Chesnay, France : Institut national de recherche en informatique et en automatique, 1988Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available
|
|
|
Logic programming : proceedings of the Tenth International Conference on Logic Programming / edited by David S. Warren.
by International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) | Warren, David S | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Association for Logic Programming | Bull Hungary. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1993Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
|
|
|
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / edited by by Leon S. Sterling.
by Sterling, Leon S [editor.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Logic Programming Conference (12th : 1995 : Tokyo, Japan). Material type: Book; Format:
available online
Publisher: [Cambridge, Massachusetts] : MIT Press, [1995]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Online access: Abstract with links to resource Availability: No items available
|
|
|
Logic programming and non-monotonic reasoning : proceedings of the first international workshop / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian.
by Nerode, Anil, 1932- | Marek, Wiktor | Subrahmanian, V. S | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Association for Logic Programming. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, [1991]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
|