//--> //--> //-->
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:"Spieltheorie"
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: subject:"formal proof"
Narrow search
Delete all filters
| 1 applied filter
Year of publication
From:
To:
Subject
All
Spieltheorie
formal proof
5
auction theory
4
mechanized reasoning
4
Auction theory
2
Auktionstheorie
2
Game theory
2
Business model
1
Business start-up
1
Entrepreneurship
1
Entrepreneurship approach
1
Entrepreneurship education
1
Geschäftsmodell
1
Gründungsausbildung
1
Theorie
1
Theory
1
Unternehmensgründung
1
arbitrage entrepreneurship
1
constrained, sysematic search
1
controlled testing
1
economies of scope
1
entrepreneurship education
1
forgiving business models
1
information and telecommunication system
1
information security system
1
informational economics
1
method of formal proof of security
1
security policy
1
specification language
1
time and space
1
wealth creating potential
1
more ...
less ...
Online availability
All
Free
2
Type of publication
All
Book / Working Paper
2
Type of publication (narrower categories)
All
Arbeitspapier
2
Graue Literatur
2
Non-commercial literature
2
Working Paper
2
Language
All
English
2
Author
All
Kerber, Manfred
2
Lange, Christoph
2
Rowat, Colin
2
Caminati, Marco B.
1
Published in...
All
Discussion papers / Department of Economics, The University of Birmingham
2
Source
All
ECONIS (ZBW)
2
Showing
1
-
2
of
2
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Sound auction specification and implementation
Caminati, Marco B.
;
Kerber, Manfred
;
Lange, Christoph
; …
-
2015
Persistent link: https://www.econbiz.de/10010532999
Saved in:
2
A
formal
proof
of Vickrey's theorem by blast, simp, and rule
Kerber, Manfred
;
Lange, Christoph
;
Rowat, Colin
-
2014
Persistent link: https://www.econbiz.de/10010257345
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->