doi:[removed]j.dr[removed]

First Page		Document Content
Date: 2009-08-21 17:40:01 Ethology Behavioural sciences Evolutionary psychology Adaptive Behaviors Evolutionary developmental psychology Play Sociobiology Ontogeny and Phylogeny Psychology Behavior Developmental psychology Science		doi:[removed]j.dr[removed] Add to Reading List Source URL: evolution.binghamton.edu Download Document from Source Website File Size: 297,13 KB Share Document on Facebook

	Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki DocID: 1xVtC - View Document
	Child’s Play \| 8040 161ST Ave NE PMB #418 \| Redmond, Washington 98052 \| www.childsplaycharity.org About Child’s Play Since 2003, we’ve set up and organized Child’s Play, a game industry charity dedicated to impr DocID: 1xVpr - View Document
	Android: Netrunner — NAPD Multiplayer Format Overview The Active Runner The NAPD multiplayer format is an alternative way to play DocID: 1xVd7 - View Document
	Poster: Shell We Play A Game? CTF-as-a-service for Security Education Adam Doup´e and Giovanni Vigna Arizona State University and UC Santa Barbara , DocID: 1xUVF - View Document