BibSonomy
::
author
::
Gabbay ::
tag
user
group
author
concept
BibTeX key
search:all
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
myFriends
myRelations
mySearch
myPDF
myDuplicates
myBibTeX
login
·
register
bookmarks
publications
(2)
previous | 1 | next
Background Mathematical structures
Samson
Abramsky
and Dov M.
Gabbay
and T.S.E.
Maibaum
Handbook of Logic in Computer Science
Vol. 1 (1992-2000)
to
<Mathematik>Mathematische
LogikInformatik
Struktur
by
acbullinger
and
2 other people
on 2008-12-01 17:41:36
|
BibTeX
Background Mathematical structures
Samson
Abramsky
and Dov M.
Gabbay
and T.S.E.
Maibaum
Handbook of Logic in Computer Science
Vol. 1 (1992-2000)
to
<Mathematik>Mathematische
LogikInformatik
Struktur
by
callagialla
and
2 other people
on 2008-03-20 21:01:58
|
BibTeX
previous | 1 | next
Showing 10 items per page. Show
10
,
25
,
50
,
100
items per page.
tags
2106
<Mathematik>Mathematische
_Diplomathesis
abduction
and
automaticDebugging
Computer
concept
correlation
dblp
debugging
diss
dynamics
formal
Handbook
imported
inconsistency
Informatik
kiwi
Logic
logic
logicProgramming
LogikInformatik
LogikTheoretische
mathematicalMathematische
model
no-tag
Opinion
Perfect
periodic
perspectives
requirements
ruleBasedSystems
scienceLogic,
sequence
specifications
Struktur
Symbolic
Tableau
theory
viewpoints