Logic programming based on a natural deduction system
Haridi, A.S.
Stockholm . Department of telecommunication and computer systems - Royal Institute of technology. 1981. 201 p..

Logic programming for language processing
Saint-Dizier, Patrick
[Le Chesnay] . [INRIA-Domaine de Voluceau-Rocquencourt]. [1991]. Sp. 68-300.

Logic programming - from a logic point of view
Tärnlund, Sten-Ake
Uppsala. Univ., Computing Science Department. 1986. 14 Bl.. UPMAIL technical report ; 34.

Logic programming in action: Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992
Comyn, Gérard ; Fuchs, Norbert E. ; Ratcliffe, Michael
Berlin ; New York. Springer-Verlag. 1992. x, 324 p.. Lecture notes in computer science ; 636 : Lecture notes in artificial intelligence.
ISBN 3-540-55930-2 Berlin : acid-free paper

Logic programming in a fragment of intuitionistic linear logic: extended abstract
Hodas, Joshua S. ; Miller, Dale
Edinburgh. 1992. 17 S.. Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series ; 158.

Logic programming in Nial
Glasgow, Janice I.
Kingston, Ontario, Canada. 1984. 30 S.. Queen's University <Kingston, Ontario> / Department of Computing and Information Science: Technical report ; 158.

Logic programming ; International symposium. proceedings ; Symposium. 15 - 18 july 1985
New York, Ny. IEEE. 1985. 269 S..
ISBN 0-8186-0636-3

Logic programming ; International symposium. proceedings ; Symposium. 22 - 25 sep 1986
New York, Ny. IEEE. 1986. 285 S..
ISBN 0-8186-0728-9

Logic programming ; International symposium. proceedings ; Symposium. 31 aug - 4 sep 1987
New York, Ny. IEEE. 1987. 530 S..
ISBN 0-8186-0799-8

Logic programming ; International symposium. proceedings ; Symposium. 6 - 9 feb 1984
[Microfiche]. New York, Ny. IEEE. 1984. 311 S..
ISBN 0-8186-4522-9

Logic programming languages: constraints, functions, and objects
Apt, Krzysztof R. ¬[Hrsg.]¬
Cambridge, Mass. [u.a.]. MIT Press. 1993. XIV, 204 S. : graph. Darst.. Logic programming.
ISBN 0-262-01134-4 : £ 29.25

Logic programming over polymorphically order-sorted types
Smolka, Gert
1989. 222 S..

The logic programming paradigm: a 25-year perspective ; with 57 figures
Apt, Krzysztof R.
Berlin {[u.a.]. Springer,. 1999.. XVI, 456 S..

The logic programming tutor
Paine, Jocelyn
Dord ; 9.
ISBN 3-7887-0020-3

Logic programming with Prolog
Bramer, Max A.
[New York ; London]. Springer. 2005. XIII, 223 S..
ISBN 1-85233-938-1

Logic program modules for interoperable information systems
Cremers, Armin B. ; Lemke, Thomas ; Rohen, Mechthild
Bonn. Sekretariat für Forschungsberichte, Inst. für Informatik III. 1994. 19 S. : graph. Darst.. Forschungsbericht / Institut für Informatik III ; 94,1.

Logic programs: workshop ETH Zürich. May - July 1979
Engeler, Erwin
Berlin {[u.a.]. Springer,. 1981.. 245 S..

Logic programs with negation: classes, models, interpreters
Turi, Daniele
Amsterdam. 1989. 34 S.. Report / Centrum voor Wiskunde en Informatica, Computer Science/Department of Software Technology ; CS-R8943.

Logic program synthesis and transformation: LOPSTR ; International workshop. proceedings ; 7 - 9 jul 1993
Deville, Y.
Berlin ; Springer. 1994. 245 S.. Workshops in computing.
ISBN 3-540-19864-4

Logic program synthesis and transformation: proceedings of LOPSTER 91, International Workshop on Logic Program Synthesis and Transformation, University of Manhester, 4 - 5 July 1991
Clem, Timothy Paul [Hrsg.]
London [u.a.]. Springer. 1992. X, 337 S.. Workshops in computing.
ISBN 3-540-19742-7

Logic program synthesis and transformation: LOPSTR ; International workshop. proceedings ; 20 - 21 jun 1994
Fribourg, L. ; Turini, F.
Berlin ; Springer. 1994. 450 S.. Lecture notes in computer science ; 883.
ISBN 3-540-58792-6

Logic program synthesis and transformation: 7th international workshop ; proceedings
Fuchs, Norbert E. [Hrsg.]
Berlin [u.a.]. Springer. 1998. X, 342 S.. Lecture notes in computer science ; 1463.
ISBN 3-540-65074-1

Logic program synthesis and transformation: 5th international workshop ; proceedings
Proietti, Maurizio [Hrsg.]
Berlin [u.a.]. Springer. 1996. X, 266 S.. Lecture notes in computer science ; 1048.
ISBN 3-540-60939-3

Logic program synthesis and transformation: 6th international workshop ; proceedings
Gallagher, John [Hrsg.]
Berlin [u.a.]. Springer. 1997. VI, 324 S.. Lecture notes in computer science ; 1207.
ISBN 3-540-62718-9

Logic program synthesis and transformation: proceedings of LOPSTR 91, University of Manchester, 4 - 5 July 1991
Clement, Timothy P. ¬[Hrsg.]¬
London ; Berlin ¬[u.a.]¬. Springer. 1992. X, 337 S. : graph. Darst.. Workshops in computing.
ISBN 3-540-19742-7

Logic program synthesis and transformation: proceedings of ... International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2 - 3 July 1992
Lau, Kung-Kiu ¬[Hrsg.]¬
London ; Berlin ¬[u.a.]¬. Springer. 1993. XII, 270 S. : graph. Darst.. Workshops in computing.
ISBN 3-540-19806-7

Logic program synthesis and transformation: proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2 - 3 July 1992
Lau, Kung-Kiu [Hrsg.]
London [u.a.]. Neumann. 1984. 415 S.. elsungen.
ISBN 3-7888-0001-1

Logic Program Synthesis and Transformation - Meta-Programming in Logic: proceedings
Fribourg, Laurent ¬[Hrsg.]¬
Pisa. Springer. 1994. IX, 450 S.: graph. Darst.. Lecture Notes in Computer Science ; 883.
ISBN 3-540-58792-6

Logic program synthesis from incomplete information
Flener, Pierre
Boston [u.a.]. Kluwer. 1995. XVIII, 242 S.. The Kluwer international series in engineering and computer science ; 295.
ISBN 0-7923-9532-8 acid-free paper

Logic program synthesis using schema instantiation in an interactive environment
Johansson, Anna-Lena
Stockholm. Univ., DVS. 1995. XII, 195 S.. Report series ; 95,50.
ISBN 91-7153-414-8

Logic, proof, and sets
Bittinger, Marvin L.
2. ed.. Reading. Addison-Wesley. 1982. 131 S..
ISBN 0-201-10384-2

Logic puzzles and logic programming
Márkusz, Zsuzsa ; Márkus, Gábor
Budapest. Computer and Automation Institute, Hungarian Academy of Sciences. 1988. Tanulmányok ; ....
ISBN 963-311-249-4 v. 1

Logic quest
------- ; -------
Cambridge, MA: . The Learning Company,. c1997.. 1 computer laser optical disc ;.

Logic, rational agenca, and intelligent interaction
Benthem, Johan van
Amsterdam. Inst. for Logic, Language and Computation. 2008. 29 S.. ILLC scientific publications ; 2008,6.

Logic & reading review for the GRE, GMAT, LSAT, MCAT
Rozmiarek, Edward J ; Palmore, Jo Norris
Lawrenceville, N.J.. Thompson/Peterson's,. c2002. xvii, 302 p..

Logic reformed
Slater, Hartley
1 Aufl.. Bern [u.a.]. Lang. 2002. 241 S..
ISBN 3-906768-57-0

Logic, rhetoric, and legal reasoning in the Qur±Åan: God's arguments
Gwynne, Rosalind Ward
London ; New York. RoutledgeCurzon. 2004. XV, 251 S.. RoutledgeCurzon studies in the Qur±an.
ISBN 0-415-32476-9 alk. paper

Logics: a sociobiological approach to social and other logics
Parker, James H.
Lanham ¬[u.a.]¬. Univ. Pr. of America.

¬...¬ Logicæ Sacræ, In Novo Testamento Comprehensæ, et studiose conscriptæ à Philippo Zeisoldo
Zeisold, Philipp
Lipsiae. Meisnerus. 1677.

Logics and languages
Cresswell, M. J.
London. Methuen [Distributed in the U.S.A. by Harper & Row. 1973. xi, 273 p..
ISBN 0-416-76950-0 : £4.90

Logics and lattices for a statistics advisor
O'Keefe, Richard A.
1985. Mfilm..

Logics and models of concurrent systems: Advanced course. proceedings. 8 - 19 oct 1984
Apt, K.
Berlin. Springer. 1985. 498 S.. NATO advanced science institutes series f: computer and systems sciences ; 13.
ISBN 3-540-15181-8

¬The¬ logics and politics of post-WWII migration to western Europe
Messina, Anthony M.
Cambridge [u.a.]. Cambridge Univ. Press. 2007. XV, 290 S. : graph. Darst..
ISBN 978-0-521-82134-6 (hbk.) : £47.50

Logics and pseudogroups
Caicedo, Xavier ; Sette, A. M.
Campinas, S.P.. Univ. Estadual de Campinas. 1984. 35 S.. Relatório interno ; 261.

Logics and type systems
Geuvers, Jan H.
Nijmegen. 1993. VIII, 209 S..
ISBN 90-9006352-8

Logic, science and dialectic: collected papers in greek philosophy
Owen, Gwilyn E. L.
London. Duckworth. 1986. XV, 394 S..
ISBN 0-7156-1897-0

Logic, semantics, metamathematics: papers from 1923 to 1938
Tarski, Alfred
1 Aufl.. London. Clarendon Press. 1956. XIV, 471 S..

Logic, semantics, metamathematics: papers from 1923 to 1938
Tarski, Alfred
Transl. - 2. ed., 2. pr.. Indianapolis, Ind.. Hackett. 1990. XXVII, 506 S..
ISBN 0-915144-75-1

Logic, semantics, metamathematics: Papers from 1923 to 1938. Transl. by J.H.Woodger
Tarski, Alfred
Repr.. Oxford. Clarendon Pr.. 1969. XIV,471 S..

LOGIC, SEMANTICS, METAMATHEMATICS : PAPERS FROM 1923 TO 1938 / BY ALFRED TARSKI. TRANSL. BY J. H. WOODGER
Tarski, Alfred
OXFORD. CLARENDON PR.. 1956. XIV, 471 S..

Logic, sets and information: proceedings of the tenth Brazilian conference on mathematical logic
Carnielli, Walter A. ¬[Hrsg.]¬
1. ed.. Campinas. Centro de Logica, Epistemologia e Historia da Ciencia. 1995. 274 S.. Colecao CLE ; 14.

Logic, sets, and numbers
Roethel, Louis F. ; Weinstein, Abraham
Belmont, Calif.. Wadsworth Publ. Comp.. 1972. 293 S..
ISBN 0-534-00094-0

Logic, sets, and recursion
Causey, Robert L.
Boston [u.a.]. Jones and Bartlett. 1994. X, 405 S.. The Jones and Bartlett series in computer science.
ISBN 0-86720-463-X

Logics for 00 information systems: a semantic study of object orientation from a categorial-substructural perspective
Haas, Erik de
Amsterdam. Institute for Logic, Language and Computation. 2001. XVI.209 S.. ILLC dissertation series ; 2001,03.
ISBN 90-5776-066-5

Logics for artificial intelligence
Turner, Raymond
Reprinted. Chichester [u.a.]. Horwood [u.a.]. 1985. 121 S.. Ellis Horwood series in artificial intelligence.
ISBN 0-85312-713-1

Logics for coalgebras and applications to computer science
Kurz, Alexander
Books on Demand. 2000. 199 S..
ISBN 3-8311-1249-5

Logics for concurrency: structure versus automata
Moller, Faron ; Birtwistle, Graham M.
Berlin ; New York. Springer. 1996. xi, 266 p.. Lecture notes in computer science ; 1043.
ISBN 3-540-60915-6 Berlin : acid-free paper

Logics for databases and information systems
Chomicki, Jan ; Saake, Gunter
Boston, Mass. [u.a.]. Kluwer. 1998. XIII, 430 S. The Kluwer international series in engineering and computer science ; 436.
ISBN 0-7923-8129-7 alk. paper : £100.75

Logics for digital circuit verification: theory, algorithms, and applications
Janssen, Geert L. J. M.
1999. XIII, 162 S. : graph. Darst.
ISBN 90-386-1560-4

Logics for distributed systems: summary of a workshop Bonn, March 1992
Goltz, Ursula
Sankt Augustin. 1992. 25 S.. GMD-Studien ; 214.
ISBN 3-88457-214-8

Logics for electric parking brake: function and safety
Nordström, Stefan
Lule¯, . 1998.

Logics for emerging applications of databases: with 3 tables
Chomicki, Jan
Berlin [u.a.]. Springer. 2004. XV, 368 S..
ISBN 3-540-00705-9

Logics for OO information systems: a semantic study of object orientation from a categorical-substructural perspective
De Haas, Erik.
2001.. 209 p..

Logics for termination and correctness of functional programs
Feferman, S.

Logic, signs and nature in the Renaissance: the case of learned medicine
Maclean, Ian
1 Aufl.. Cambridge. Cambridge Univ. Press. 2002. XVI, 407 S.. Ideas in context ; 61.
ISBN 0-521-80648-8

Logics II: a sociobiological approach to social and other logics
Parker, James Hill
Lanham, Md. [u.a.]. Univ. Press of America. 1992. XII, 91 S..
ISBN 0-8191-8881-6 alk. paper

Logics in AI: European Workshop JELIA ; proceedings
Berlin ; Heidelberg [u.a.]. Springer. 1991.

Logics in AI: JELIA ; Logique en intelligence artificielle ; European workshop. proceedings ; 7 - 10 sep 1992
Pearce, D. ; Wagner, G.
Berlin ; Springer. 1992. 410 S.. Lecture notes in computer science ; 633.
ISBN 3-540-55887-X

e Storici <Bologna u.a.>: Rapporti della ... ; 43
MacNish, Craig

Logics in artificial intelligence: European Workshop JELIA '94, York, UK, September 5 - 8, 1994 ; proceedings
MacNish, Craig ; Pearce, David
Berlin [u.a.]. Springer. 1994. IX, 413 S. : Ill.. Lecture notes in computer science ; 0838 : Lecture notes in artificial intelligence.
ISBN 3-540-58332-7

Logics in artificial intelligence: European workshop, JELIA 2000, Málaga, Spain, September 29 - October 2, 2000 ; proceedings
Ojeda-Aciego, Manuel
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London. Springer. 2000. XI, 406 S. : graph. Darst.. Lecture notes in computer science ; 1919 : Lecture notes in artificial intelligence.
ISBN 3-540-41131-3

Logics in artificial intelligence: 9th European conference, JELIA 2004, Lisbon, Portugal, September 27 - 30, 2004 : proceedings
Alferes, José Júlio ; Leite, João
1. ed. Berlin [u.a.]. Springer. 2004. XIV, 744 S.. Lecture notes in computer science ; 3229 : Lecture notes in artificial intelligence.
ISBN 3-540-23242-7 : EUR 89.88 (freier Pr.)

Logics in artificial intelligence: European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings
Alferes, José Júlio. ; Pereira, Luís Moniz. ; Orlowska, Ewa.
Berlin ; . Springer,. c1996.. ix, 416 p..

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Carbonell, Jaime G ; Hölldobler, Steffen ; Lutz, Carsten ; Siekmann, Jörg ; Wansing, Heinrich
Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. 2008. Lecture notes in computer science ; 5293.
ISBN 978-3-540-87802-5

Logics in artificial intelligence: proceedings
MacNish, Craig [Hrsg.]
Paderborn [u.a.]. Schöningh. 2005. VIII, 178 S.. Konziliengeschichte : Reihe B, Untersuchungen.
ISBN 3-506-71359-0 Gewebe : EUR 34.90

Logics in artificial intelligence: 8th European conference, JELIA 2002, Cosenza, Italy, September 23 - 26, 2002 ; proceedings
Flesca, Sergio
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London. Springer. 2002. XIII, 572 S. : graph. Darst.. Lecture notes in computer science ; 2424 : Lecture notes in artificial intelligence.
ISBN 3-540-44190-5

Logics in artificial intelligence: European workshop ; proceedings
Dix, Jürgen ¬[Hrsg.]¬
Berlin [u.a.]. Springer. 1998. X, 390 S. : graph. Darst.. Lecture notes in computer science ; Vol. 1489 : Lecture notes in artificial intelligence.
ISBN 3-540-65141-1 kart. : DM 82.00

Logics of American foreign policy: theories of America's world role
Callahan, Patrick
New York [u.a.]. Pearson/Longman. 2004. IX, 190 S..
ISBN 0-321-08848-4

The logics of biopower and the war on terror: living, dying, surviving ; [papers from a roundtable delivered at the 46. annual convention of the International Studies Association in Mar 2005 in Honolulu, Hawaii]
Dauphinee, Elizabeth [Hrsg.]
New York, NY [u.a.]. Palgrave Macmillan. 2007. XIX, 252 S..
ISBN 1-4039-7465-9

Logics of conversation
Asher ; Lascarides
Cambridge, UK . Cambridge University Press. 2003. 526 s..

Logics of Disintegration
Dews, Peter
1987.
ISBN 0-86091-813-0

Logics of dislocation: models, metaphors, and meanings of economic space
Barnes, Trevor J.
New York [u.a.]. Guilford Press. 1996. XII, 292 S.. Mappings.
ISBN 1-572-30033-7

¬The¬ Logics of Education: educational as an interdisciplinary subject
Möller, Bernhard ¬[Hrsg.]¬
Oldenburg. Universität. 19XX.

Logics of failed revolt: French theory after May '68
Starr, Peter
Stanford, Calif.. Stanford Univ. Press. 1995. X, 268 S..
ISBN 0-8047-2445-8

Logics of hierarchy: the organization of empires, states, and military occupations
Cooley, Alexander
Ithaca, N.Y. Cornell University Press. 2005. xii, 191 p..
ISBN 9780801443862 cloth : alk. paper

Logics of history: social theory and social transformation
Sewell, William Hamilton
Chicago [u.a.]. Univ. of Chicago Press. 2005. XI, 412 S.. Chicago studies in practices of meaning.
ISBN 0-226-74918-5 USD 27.50 Paper bound book

Logics of history
Sewell
Chicago, Ill. . University of Chicago Press. c2005. xi, 412 s..

The logics of party formation: ecological politics in Belgium and West Germany
Kitschelt, Herbert
Ithaca, NY [u.a.]. Cornell Univ. Pr.. 1989. IX, 343 S..
ISBN 0-8014-2252-3

¬The¬ logics of preference: a study of prohairetic logics in twentieth century philosophy
Moutafakis, Nicholas J.
Dordrecht [u.a.]. Reidel. 1987. 287 S.. Episteme ; 14.
ISBN 90-277-2591-8

LOGICS OF PROGRAMS.
1982.

LOGICS OF PROGRAMS.
1984.

LOGICS OF PROGRAMS.
1985.

Logics of programs: proceedings
Berlin ; Heidelberg ¬[u.a.]¬. Springer.

Logics of programs: axiomatics ad descriptive power.
Harel, David,
c1978.. 152 leaves.

LOGICS OF PROGRAMS AND THEIR APPLICATIO
1983.

Logics of programs and their applications: proceedings, Poznan, August 23-29, 1980
Salwicki, Andrzej
Berlin [u.a.]. Springer. 1983. Lecture notes in computer science ; 138.

Logics of Programs Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Clarke, Edmund. ; Kozen, Dexter,
Berlin ; . Springer-Verlag,. 1984.. vi, 527 p..

Logics of Programs Workshop, Yorktown Heights, New York, May 1981
Kozen, Dexter,
Berlin ; . Springer-Verlag,. 1982.. vi, 429 p..

Logics of recursion
Saint John, Katherine
1995. XI, 112 S..

Logics of resistance: globalization and telephone unionism in Mexico and British Columbia
Dubb, Steve
New York, NY ; London. Garland Publishing. 1999. XXIX, 445 S.. Transnational business and corporate culture.
ISBN 0-8153-3373-0

Logics of scientific discovery
Buchanan, Bruce G.
Ann Arbor, Mich.. Univ. Microfilms. 1977. V, 210 Bl..

The logics of social structure
Kontopoulos, Kyriakos M.
1. publ. Cambridge [u.a.]. Cambridge Univ. Press. 1993. X, 481 S.. Structural analysis in the social sciences ; 6.
ISBN 0-521-41779-1 hardback

Logics of television: essays in cultural criticism
Mellencamp, Patricia [Hrsg.]
Bloomington [u.a.]. Indiana Univ. Pr. [u.a.]. 1990. VIII, 307 S.. Theories of contemporary culture ; 11.
ISBN 0-85170-278-3

Logics of time and computation
Goldblatt, Robert
2. ed., rev. and exp. Stanford, Calif.. CSLI. 1992. 180 S.. CSLI Lecture notes ; 7.
ISBN 0-937073-94-6

Logics of time and computation
Goldblatt, R.
Menlo Park. CSLI. 1987. 131 S.. Center for the study of language and information lecture notes ; 7.
ISBN 0-937073-12-1

Logics of time and computation
Goldblatt, Robert
2nd ed., rev. and expanded. Stanford, CA. Center for the Study of Language and Information. 1992. 180 S.. CSLI lecture notes ; no. 7.
ISBN 0-937073-93-8 : $39.95

¬The¬ logic structure of mathematical physics
Sneed, Joseph D.
2., rev. ed.. Dordrecht [u.a.]. Reidel. 1979. XXV, 320 S.. Pallas paperback ; 14.
ISBN 90-277-1059-7

Logics which allow degrees of truth and degrees of validity: a way of handling graded truth assessment and graded trust assessment within a single framework
Lehmke, Stephan
2001. VIII, 267 S. : graph. Darst..

Logic symbols and diagrams
New York. Inst. of Electrical and Electronics Engineers. 1987. 147, 85 S..
ISBN 0-471-85688-6

Logic Symposia: Hakone 1979, 1980 ; proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Müller, Gert H. ; Takeuti, Gaisi ; Tugué, Tosiyuki
Berlin u.a.. Berlin u.a.. 1981.
3-540-11161-1

Logic Symposia Hakone 1979 , 1980: proceedings of a conference held in Hakone, Japan, March 21-24,1979 and Febr. 4-7,1980
Müller, Gert H. [Hrsg.]
Berlin [u.a.]. Springer. 1981. IV, 394 S.. Lecture notes in mathematics ; 891.
ISBN 3-540-11161-1

Logic synthesis and microprocessor architecture: Logic synthesis and optimization; International symposium. most outstanding papers. july 1992
Sasao, T.
Boston. Kluwer. 1993. 375 S.. Kluwer international series in engineering and computer science.
ISBN 0-7923-9308-2

Logic synthesis and optimization
Sasao, Tsutomu
4. print. Boston [u.a.]. Kluwer Acad. Publ. 1998. XV, 375 S.. The Kluwer international series in engineering and computer science : VLSI, computer architecture, and digital signal processing ; 212.
ISBN 0-7923-9308-2 alk. paper

Logic synthesis and verification
Hassoun, Soha ; Sasao, Tsutomu
Boston [u.a.]. Kluwer Academic Publishers. 2002. XIV, 454 S.. The Kluwer international series in engineering and computer science ; 654.
ISBN 0-7923-7606-4 : £88.00 : Formerly CIP

Logic synthesis and verification algorithms
Hachtel, Gary D. ; Somenzi, Fabio
7. printing. Boston [u.a.]. Kluwer Acad. Publ.. 2003. XXXI, 564 S..
ISBN 0-7923-9746-0

Logic synthesis for asynchronous controllers and interfaces
Cortadella, Jordi
Berlin [u.a.]. Springer. 2002. XIII, 273 S.. Springer series in advanced microelectronics ; 8.
ISBN 3-540-43152-7 Gb. : EUR 85.55

Logic synthesis for control automata
Baranov, Samary
Dordrecht [u.a.]. Kluwer. 1994. XIV, 392 S..
ISBN 0-7923-9458-5 (: No price)

Logic synthesis for field-programmable gate arrays
Murgai, Rajeev ; Brayton, Robert K. ; Sangiovanni-Vincentelli, Alberto
Boston [u.a.]. Kluwer Acad. Publ.. 1995. XV, 427 S. : graph. Darst.. The Kluwer international series in engineering and computer science ; 324 : VLSI, computer architecture and digital signal processing.
ISBN 0-7923-9596-4

Logic synthesis for low power VLSI designs
Iman, Sasan ; Pedram, Massoud
Boston [u.a.]. Kluwer Academic Publ.. 1998. XIV, 236 S. : graph. Darst..
ISBN 0-7923-8076-2

Logic synthesis using Synopsys
Kurup, Pran ; Abbasi, Taher
2. ed., 8. printing. Boston [u.a.]. Kluwer Acad. Publ.. 2001. XVIII, 322 S..
ISBN 0-7923-9786-X

Logic synthesis using Synopsys
Kurup, Pran ; Abbasi, Taher
2nd printing. Boston [u.a.]. Kluwer Academic Publishers. 1995. XVIII, 304 S..
ISBN 0-7923-9582-4 acid-free paper

The logic system of concept graphs with negation: and its relationship to predicate logic
Dau, Frithjof
Berlin [u.a.]. Springer. 2003. Online-Ressource (XI, 213 S.). Lecture notes in computer science ; 2892 : Lecture notes in artificial intelligence.
ISBN 3-540-20607-8

The logic system of concept graphs with negation: and its relationship to predicate logic
Dau, Frithjof
2., vollst. neubearb. Aufl. München. Beck. 2004. XLIV, 603 S.. Lecture notes in computer science ; 2892 : Lecture notes in artificial intelligence.
ISBN 3-406-51219-4 Ln. : EUR 84.00

¬The¬ logic system of protoconcept graphs
Klinger, Julia
1 Aufl.. Aachen. Shaker. 2005. 162 S.. Berichte aus der Mathematik.
ISBN 3-8322-4204-X

Logic testing and design for testability
Fujiwara, Hideo
Cambridge, Mass. [u.a.]. MIT Press. 1985. X, 284 S. : graph. Darst.. MIT Press series in computer systems.
ISBN 0-262-06096-5

Logic, the art of defining and reasoning
Oesterle, John A.
2. ed.. Englewood Cliffs, N.J.. Prentice-Hall. 1963. XIX, 279 S..

Logic, theology, and poetry in Boethius, Abelard, and Alan of Lille: words in the absence of things
Sweeney, Eileen.
New York. Palgrave Macmillan,. 2006.. xii, 236 p. ;.

Logic, theory of sets and quantum mechanics.
Neumann, John von
Oxford [u.a.]. Pergamon,. 1961..