|
|
541.
|
Logic and integer programming
by Williams, H.P. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xi,155p.Publisher: New York Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.115 W67l] (1).
|
|
|
542.
|
Logical dynamics of information and interaction
by Benthem, Johan Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 373p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 B445l] (1).
|
|
|
543.
|
Universal algebra
: fundamentals and selected topics
by Bergman, Clifford. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 308p.Publisher: Boca Raton Crc Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512 B454u] (1).
|
|
|
544.
|
Advanced topics in bisimulation and coinduction
by | Sangiorgi, Davide, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 326p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015113 Ad95] (1).
|
|
|
545.
|
Logic and logic grammars for language processing
by | Saint-Dizier, Patrick, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 315p.Publisher: New York Ellis Horwood 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L828] (1).
|
|
|
546.
|
The evolution of logic
by Hart, W.D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 299p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H251e] (1).
|
|
|
547.
|
Type-2 fuzzy logic in intelligent control applications
by Castillo, Oscar. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 188p.Publisher: Berlin Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 C278t] (1).
|
|
|
548.
|
Logics for emerging applications of databases
by | Chomicki, Jan, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 368p.Publisher: Berlin Springer 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.74 L829] (1).
|
|
|
549.
|
Advanced BDD optimization
by Ebendt, Rudiger | Fey, Gorschwin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii, 222p.Publisher: Dordrecht Springer 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 Eb34a] (1).
|
|
|
550.
|
Multiprocessor execution of logic programs
by Gupta, Gopal. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 243p.Publisher: Boston Kluwer Academic 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.2 G959m] (1).
|
|
|
551.
|
Symbolic model checking
by Mcmillan, Kenneth L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 194p.Publisher: Boston Kluwer Academic 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.392 M459s] (1).
|
|
|
552.
|
Timed boolean functions
: a unified formalism for exact timing analysis
by Lam, William K. C | Brayton, Robert K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 273p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 L16t] (1).
|
|
|
553.
|
Resolution proof systems
: an algebraic theory
by Stachniak, Zbigniew. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 206p.Publisher: Dordrecht Kluwer Academic 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 St12r] (1).
|
|
|
554.
|
Fuzzy logic in action
: applications in epidemiology and beyond
by | Massad, Eduardo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 347p.Publisher: Berlin Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 624.4 F989] (1).
|
|
|
555.
|
Logic in computer science
: modelling and reasoning about systems [2nd ed.]
by Huth, Michael | Ryan, Mark. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 427p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 H975l2 cop.1] (6).
|
|
|
556.
|
Digital circuit boards
: mach 1 GHz
by Morrison, Ralph. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 163p.Publisher: New Jersey John Wiley & Sons 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.382 M834d] (1).
|
|
|
557.
|
Possibilities and paradox
: an introduction to modal and many-valued logic
by Beall, J.C | Fraassen, Bas C. Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 233p.Publisher: Oxford Oxford University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B366p] (1).
|
|
|
558.
|
Epistemic game theory
: reasoning and choice
by Perea, Andres. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 561p.Publisher: Cambridge Cambridge University Press 2012Availability: No items available Checked out (1).
|
|
|
559.
|
Graph structure and monadic second-order logic
: a language-theoretic approach
by Courcelle, Bruno | Engelfriet, Joost. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 728p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C833g] (1).
|
|
|
560.
|
Programming with higher-order logic
by Miller, Dale | Nadathur, Gopalan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 306p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.15 M613p] (1).
|
