Robert Nieuwenhuis's Documents

Robert Nieuwenhuis's Documents

Automated deduction, CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings (Lecture Notes in Artificial Intelligence 3632)

Automated deduction, CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings (Lecture Notes in Artificial Intelligence 3632)
Read more
Automated Deduction CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Automated Deduction CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Read more
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Read more
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Read more
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings
Read more
The Automotive Industry and the Environment: A Technical, Business and Social Future (Woodhead Publishing in Environmental Management)

The Automotive Industry and the Environment: A Technical, Business and Social Future (Woodhead Publishing in Environmental Management)
Read more
Protocols for Multimedia Systems: 6th International Conference, PROMS 2001, Enschede, The Netherlands, October 17-19, 2001 Proceedings

Protocols for Multimedia Systems: 6th International Conference, PROMS 2001, Enschede, The Netherlands, October 17-19, 2001 Proceedings
Read more
Shaping Flexibility in Vocational Education and Training: Institutional, Curricular and Professional Conditions

Shaping Flexibility in Vocational Education and Training: Institutional, Curricular and Professional Conditions
Read more
Social Protection & Labor at the World Bank, 2000-2008

Social Protection & Labor at the World Bank, 2000-2008
Read more
Prudence: Classical Virtue, Postmodern Practice

Prudence: Classical Virtue, Postmodern Practice
Read more
Indices and Identity (Linguistic Inquiry Monographs)

Indices and Identity (Linguistic Inquiry Monographs)
Read more
De Lingua Belief

De Lingua Belief
Read more
Prudence: Classical Virtue, Postmodern Practice

Prudence: Classical Virtue, Postmodern Practice
Read more
Object-oriented programming in Eiffel

Object-oriented programming in Eiffel
Read more
Global Change and Challenge: Geography for the 1990's

Global Change and Challenge: Geography for the 1990's
Read more
De Lingua Belief

De Lingua Belief
Read more
Poker Stars ''CRACKED''

Poker Stars ''CRACKED''
Read more
Psychiatric Interviewing and Assessment

Psychiatric Interviewing and Assessment
Read more
James Joyce

James Joyce
Read more
101 Salon Promotions

101 Salon Promotions
Read more
Moving Working Families Forward: Third Way Policies That Can Work

Moving Working Families Forward: Third Way Policies That Can Work
Read more
Europe and the politics of capabilities

Europe and the politics of capabilities
Read more
De Lingua Belief (A Bradford Book)

De Lingua Belief (A Bradford Book)
Read more
The Handbook of Business Valuation and Intellectual Property Analysis

The Handbook of Business Valuation and Intellectual Property Analysis
Read more
The Handbook of Business Valuation and Intellectual Property Analysis

The Handbook of Business Valuation and Intellectual Property Analysis
Read more
The Handbook of Business Valuation and Intellectual Property Analysis

The Handbook of Business Valuation and Intellectual Property Analysis
Read more
The Handbook of Business Valuation and Intellectual Property Analysis

The Handbook of Business Valuation and Intellectual Property Analysis
Read more
The Illuminatus! Trilogy

The Illuminatus! Trilogy
Read more
Time Scout

Time Scout
Read more
The Illuminatus! Trilogy

The Illuminatus! Trilogy
Read more