(Q449390)

English

Herbrand Award

award for research contributions to automated deduction

In more languages

Statements

0 references

1992

0 references

Herbrand Award (English)

0 references

computer-assisted proof

0 references

Jacques Herbrand

0 references

Conference on Automated Deduction

0 references

official website

http://cadeinc.org/Herbrand-Award

0 references

Identifiers

1 reference

Freebase Data Dumps

publication date

28 October 2013

Sitelinks

Wikipedia(6 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q449390&oldid=2089353925"