Facebook
Twitter
Youtube
Github
Forum
Select Language
Arabic
Bengali
Brazilian Portuguese
English
Espanol
German
Indonesian
Japanese
Thai
Malay
Persian
Accra Metropolitan University
e-learning Library
Home
Library Information
Member Area
Librarian
Help On Search
Librarian LOGIN
Collections
Back
Search
Search
Author(s)
SEARCHING...
Subject(s)
SEARCHING...
ISBN/ISSN
GMD
All GMD/Media
Accounting
Banking And Finance
Business Policy and Strategy
Communication
Computer Science
Corporate Governance
Cyber Security
Database Management
Economics
Energy Management
English Language
Entrepreneurship
Healthcare Management
Human Resource management
Information Technology
Introduction to Business
Law
Leadership
Makerting
Management
Mathematics
Nursing
Nutrition
Organisational Behaviour
Psychology
Public Administration
Purchasing and Supply Chain Ma
Research Method
Social Science
Statistic for Business
Strategic Management
WEB DESIGN
WEB Development
Collection Type
All Collections
Books
Conference Papers
Databases
Datasets
E-books
Journals and Magazies
Open Research Archive
Open Research Collections
Reference
Thesis and Dissertation
Location
All Locations
My Library
Advanced Search
Found
1
from your keywords:
Author :
"Adam Chlipala"
Query took
0.33053
second(s) to complete
Certified Programming with Dependent Types
Author(s)
: Adam Chlipala -
Record Detail
XML Detail
Share to:
Information
Welcome To AMU online Library. Use the search options to find your material in our library.
Search Cluster
Generating search cluster...
