Logic in Computer Science LICS '96 Proceedings of the 11th Annual IEEE Symposium New Brunswick, New Jersey , July 27-30, 1996

Logic in Computer Science LICS '96 Proceedings of the 11th Annual IEEE Symposium New Brunswick, New Jersey , July 27-30, 1996

Bibliographic Details
Format:	Book
Language:	English
Published:	Los Alamitos California IEEE Computer Society Press c1996
Subjects:	COMPUTER SCIENCE IEEE Λογική, Συμβολική και μαθηματική PROCEEDINGS ΕΘΕΥ ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ

Similar Items

Foundations of Computer Science Proceedings of the 36th Annual Symposium Milwaukee, Wisconsin, October 23-25, 1995
Published: (1995)

Genetic Programming Proceedings of the 1st Annual Conference Stanford, July 28-31, 1996
Published: (1996)

Genetic Algorithms Proceedings of the 6th International Conference Pittsburgh, July 15-19, 1995
Published: (1995)

Artificial Neural Nets and Genetic Algorithms Proceedings of the International Conference Ales, France, 1995
Published: (1995)

Compcon spring 87 intellectual leverage Digest of papers 32nd IEEE CS International Conference San Francisco, California, February 23-27
Published: (1987)

Compcon spring 85 technological leverage: A competitive necessity Digest of papers 30th IEEE CS International Conference San Francisco, California, February 25-28
Published: (1985)

Database Theory ICDT '95 Proceedings of the 5th International Conference Prague, Gzech Republic, January 11-13, 1995
Published: (1995)

Compcon spring 83 intellectual leverage for the information society Digest of papers of the 26th IEEE computer society International Conference, San Francisco, California February 28 - March 3, 1983
Published: (1983)

Compcon Spring 76 Computers the next 5 years evolution or revolution Digest of Papers 12th IEEE computer society international conference, San Francisco, California, February 24-26, Spring 1976
Published: (1976)

Principles of database systems PODS 1996 Proceedings of the 15th ACM SIGACT-SIGMOD-SIGART Symposium Montreal, Canada, June 3-5, 1996
Published: (1996)

Compcon spring 84 intellectual leverage the driving technologies Digest of papers 28th IEEE CS International Conference San Francisco, California, February 27 - March 1
Published: (1984)

Compcon spring 86 intellectual leverage Digest of papers 31st IEEE CS International Conference San Francisco, California, March 3-6
Published: (1986)

Foundations of computer science 27th Annual Symposium Toronto, Ontario, Canada, October 27-29, 1986
Published: (1986)

Multiple-Valued Logic (1974) Proceedings of the 1974 International Symposium Morgantown, West Virginia, May 29-31, 1974

Foundations of computer science 23rd Annual Symposium Chicago, Illinois, November 3-5, 1982
Published: (1982)

Foundations of computer science 24th Annual Symposium Tucson, Arizona, November 7-9, 1983
Published: (1983)

Foundations of computer science 28th Annual Symposium Los Angeles, California, October 12-14, 1987
Published: (1987)

Foundations of computer science 32nd Annual symposium San Juan, Puerto Rico, Octomber 1-4, 1991
Published: (1991)

Foundations of computer science 25th Annual Symposium October 24-26, 1984 Formerly called the Annual Symposium on Switchine and Automata Theory
Published: (1984)

Proceedings 1976 Annual Reliability and Maintainability Symposium Las Vegas, Nevada USA 20-22 January 1976
Published: (1976)

Proceedings 1977 Annual Reliability and Maintainability Symposium Philadelphia, Pennsylvania 1977 January 18-20
Published: (1977)

Visualization '96 Proceedings of the [7th Annual IEEE Conference] San Francisco, California, October 27-November 1, 1996
Published: (1996)

Compcon 73 Computing Networks from Minis through Maxis - Are They for Real? Digest of Papers 7th Annual IEEE Computer Society International Conference, San Francisco, California February 27-28, March 1, 1973
Published: (1973)

New frontiers in testing International test conference proceedings 1988 Washington,DC september 12,13,14 1988
Published: (1988)

Compcon Fall 74 micros and minis Application and Design Digest of Papers 9th Annual IEEE Computer Society International Conference, Washington, D.C. September 12-12 Fall 1974
Published: (1974)

International Test Conference Proceedings, 1995
Published: (1995)

Design automation conference 38th Conference Proceedings, Las Vegas, NV, June 18-22, 2001
Published: (2001)

Reliable Software (1975) Proceedings International Conference 21-23 April 1975, Los Angeles, California
Published: (1975)

Testings impact on design and technology International test conference proceedings 1986 Washington DC, september 8,9,10,11,1986
Published: (1986)

Integration of test with design and manufacturing International test conference proceedings 1987 Washington DC, september 1,2,3 1987
Published: (1987)

Meeting the Tests of Time Proceedings of the International Test Conference 1989 August 29-31,1989, Washington, D.C.
Published: (1989)

The changing philosophy of test International test conference proceedings 1990 Washington, DC, September 10-14, 1990
Published: (1990)

Foundations of computer science 26th Annual symposium October 21-23, 1985 Formerly called the Annual Symposium on Switching and Automata Theory
Published: (1985)

Software engineering Proceedings of the 9th International Conference Monterey, California, March 30 - April 2, 1987
Published: (1987)

Workshop on software testing Proceedings. Banff, Canada 15-17 July 1986
Published: (1986)

Computer architecture The 16th Annual International Symposium May 28 - June 1, 1989, Jerusalem, Israel
Published: (1989)

Software engineering Proceedings of the 4th International Conference Munich, Germany, September 17-19, 1979
Published: (1979)

Fault Tolerant Computing Proceedings of the Twenty - sixth international symposium, June 25-27, 1996, Sendai, Japan
Published: (1996)

Computer Design: VLSI in Computers ICCD '86 Proceedings IEEE International Conference Port Chester, New York, October 6-9, 1986
Published: (1986)

Computer Design: VLSI in Computers & Processors ICCD'87 Proceedings 1987 IEEE International Conference New York, October 5-8, 1987
Published: (1987)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών