Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN3-540-56992-8> ?p ?o }
Showing triples 1 to 17 of
17
with 100 triples per page.
- books?vid=ISBN3-540-56992-8 chapter "An Ehrenfeucht–Fraïssé game for fixpoint logic and stratified fixpoint logic".
- books?vid=ISBN3-540-56992-8 editor1 "last=Börger".
- books?vid=ISBN3-540-56992-8 editor1First "Egon".
- books?vid=ISBN3-540-56992-8 editor1Last "Börger".
- books?vid=ISBN3-540-56992-8 first "Uwe".
- books?vid=ISBN3-540-56992-8 isCitedBy Ehrenfeucht–Fraïssé_game.
- books?vid=ISBN3-540-56992-8 isCitedBy First-order_logic.
- books?vid=ISBN3-540-56992-8 isbn "3-540-56992-8".
- books?vid=ISBN3-540-56992-8 last "Bosse".
- books?vid=ISBN3-540-56992-8 pages "100-114".
- books?vid=ISBN3-540-56992-8 pages "100–114".
- books?vid=ISBN3-540-56992-8 publisher Springer-Verlag.
- books?vid=ISBN3-540-56992-8 series "Lecture Notes in Computer Science".
- books?vid=ISBN3-540-56992-8 title "--09-28".
- books?vid=ISBN3-540-56992-8 volume "702".
- books?vid=ISBN3-540-56992-8 year "1993".
- books?vid=ISBN3-540-56992-8 zbl "0808.03024".