Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science - Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This monograph provides the readers with a concise overview of quantified derandomization. It also offers a host of concrete challenges and open questions surrounding the topic.

Computer science. --- Computer science Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Mathematics --- Computer science - Mathematics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The long-awaited second edition of Norman Bigg's best-selling Discrete Mathematics, includes new chapters on statements and proof, logical framework, natural numbers, and the integers, in addition to updated chapters from the previous edition. Carefully structured, coherent and comprehensive, each chapter contains tailored exercises and solutions to selected questions, and miscellaneous exercises are presented throughout. This is an invaluable text for students seeking a clear introductinos to discrete mathematics, graph theory, combinatorics, number theory and abstract algebra.

Computer science --- Mathematics --- Mathematics. --- Computer science - Mathematics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

LICS '93 was held in Montreal, Canada, June 1993, to discuss abstract data types, automated deduction, concurrency, constructive math, database theory, knowledge representation, logical aspects of computational complexity, software specification, and type systems, among other related topics. No index. Annotation copyright by Book News, Inc., Portland, OR.

Computer science Mathematics --- Logic, Symbolic and mathematical