//--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Retain my current filters
~subject:"Mechanized reasoning"
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: person:"Kerber, Manfred"
Narrow search
Delete all filters
| 1 applied filter
Year of publication
From:
To:
Subject
All
Mechanized reasoning
Game theory
16
Spieltheorie
16
Cooperative game
14
Kooperatives Spiel
14
stable sets
11
core
9
Core
8
cooperative game theory
6
Auction theory
4
Auktionstheorie
4
Coalition
4
Koalition
4
auction theory
4
formal proof
4
mechanized reasoning
4
power contests
4
Pillage
3
Stable sets
3
algorithm
3
Cooperative game theory
2
Jordan
2
Jordanien
2
pillage games
2
Formal methods
1
Law of property
1
Neue politische Ökonomie
1
Pillage games
1
Power contests
1
Public choice
1
Ramsey pricing
1
Ramsey-Preis
1
SR 11-7
1
Sachenrecht
1
Social choice theory
1
co-operative game theory
1
financial software
1
formal verification
1
functional programming
1
model risk
1
more ...
less ...
Online availability
All
Undetermined
1
Type of publication
All
Article
1
Type of publication (narrower categories)
All
Article in journal
1
Aufsatz in Zeitschrift
1
Language
All
English
1
Author
All
Kerber, Manfred
1
Lange, Christoph
1
Rowat, Colin
1
Published in...
All
Journal of mathematical economics
1
Source
All
ECONIS (ZBW)
1
Showing
1
-
1
of
1
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
An introduction to mechanized reasoning
Kerber, Manfred
;
Lange, Christoph
;
Rowat, Colin
- In:
Journal of mathematical economics
66
(
2016
),
pp. 26-39
Persistent link: https://www.econbiz.de/10011665867
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->