[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Yuri Guerevich
- Logic and the Challenge of Computer Science
- pp1-57 in Borger88
Note "For years formal languages were in the private domain of logicians.
But what formal language is most popular today?[...] The most popular
formal languages are programming languages. Another kind of popular formal
languages are database query languages. Some other formal languages emerge
in artificial intelligence like languages for knowledge representation. Old
discussions on names, denotations, types, etc. are suddenly revitalised to
unprecedented magnitude"(p1),"no first order formula φ expresses on
finite graphs that (x,y) belongs to the transitive closure of the edge
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]