|
|
341.
|
LOGIC AND OBJECTS
by Mccabe,Francis G. Material type:  Book Description: xxii,289.Publisher: Prentice-Hall, New York c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 M123L] (1).
|
|
|
342.
|
The clausal theory of types
by Wolfram, D. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 124p.Publisher: Cambridge Cambridge University Press 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W833c] (1).
|
|
|
343.
|
PARALLEL LOGIC PROGRAMMING
by Takeuchi, Akikazu. Material type: Book Description: xx,233.Publisher: New York John Wiley c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.11 T139p] (1).
|
|
|
344.
|
Computing with logic
: logic programming with Prolog
by Maier, David | Warren, David S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 535p.Publisher: California Benjamin/Cummings Publishing 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M281c] (1).
|
|
|
345.
|
Logic and computer science
by Odifreddi, Piergiorgio [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 430p.Publisher: London Academic Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L829] (1).
|
|
|
346.
|
PREDICATE TRANSFORMER SEMANTICS
by Manes, Ernest G. Material type: Book Description: 223.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M313p] (1).
|
|
|
347.
|
FUZZY LOGIC WITH ENGINEERING APPLICATIONS
by Ross,Timothy J. Material type: Book Description: xx,600.Publisher: Mcgraw-Hill,New York c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.0015113 R733F] (1).
|
|
|
348.
|
FUZZY LOGIC WITH ENGINEERING APPLICATIONS
by Ross,Timothy J. Material type: Book Description: xx,600.Publisher: Mcgraw-Hill,New York c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.0015113 R733F] (1).
|
|
|
349.
|
FUZZY LOGIC WITH ENGINEERING APPLICATIONS
by Ross,Timothy J. Material type: Book Description: xx,600.Publisher: Mcgraw-Hill,New York c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.0015113 R733F] (1).
|
|
|
350.
|
LANGUAGES OF POSSIBILITY
by Forbes, Graeme. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,181.Publisher: Oxford Basil Blackwell 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 F743L] (1).
|
|
|
351.
|
DIRECTIONS IN RELEVANT LOGIC
by Norman, Jean | Sylvan, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,453.Publisher: Dordrecht Kluwer Academic Pub. 1989Availability: No items available Checked out (1).
|
|
|
352.
|
DIGITAL SYSTEM DESIGN USING PROGRAMMABLE LOGIC DEVICES
by Lala, Parag K. Material type: Book Description: xii,286.Publisher: Englewood Cliffs Prentice Hall c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38173 L15d] (1).
|
|
|
353.
|
LOGIC-BASED DECISION SUPPORT
by Jeroslow, Robert G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,222.Publisher: Amsterdam North-Holland 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.403 J484L] (1).
|
|
|
354.
|
EPISTEMIC LOGIC FOR AI AND COMPUTER SCIENCE
by Meyer,J.-J. Ch | Van Der Hoek,W. Material type: Book Description: xiii,354.Publisher: Cambridge Univ. Press, Cambridge c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 M575E] (1).
|
|
|
355.
|
COMPUTATION STRUCTURES
by Ward, Stephen A | Halstead, Robert H. Material type: Book Description: xx,789.Publisher: Cambridge, Ma. Mit Press c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381952 W217c] (1).
|
|
|
356.
|
LOGIC DESIGN OF DIGITAL SYSTEMS
by Dietmeyer, Donald L. (Leo). Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xii,638.Publisher: Boston Allyn And Bacon 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381958 D567L3] (1).
|
|
|
357.
|
DIGITAL DESIGN FUNDAMENTALS
by Breeding, Kenneth J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,354.Publisher: Englewood Cliffs Prentice-Hall 1989Availability: No items available Checked out (1).
|
|
|
358.
|
STRUCTURED LOGIN TESTING
by Eichelberger, Edward B. Material type: Book Description: xvii,183.Publisher: Englewood Cliffs Prentice Hall c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38173 St89] (1).
|
|
|
359.
|
DIGITAL LOGIC AND STATE MACHINE DESIGN
by Comer, David J. Edition: 2ndMaterial type: Book Description: xii,514.Publisher: Philadelphia Saunders c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38153 C734d2] (1).
|
|
|
360.
|
DIGITAL LOGIC
by Hilsenrath, Fred | Pierce, Bill. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,497.Publisher: Albany Delmar Pub. 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38153 H562d] (1).
|
