Official town website. Department hours and contacts, community notes, and boat storage application and rules.

Located on Bucks Lake in the Northern California Sierras. Photos, information on cabin and boat rental, RV park amenities and rates.

Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog, is implemented in Java and provides a simple command-line interface.…

…ndack Park. Tent & RV camping, cabins. Lake swimming, boat launch, picnic grove,play areas, hayrides. Canoe, pontoon boat & amphibious ATV rentals. Only 10 mins. from Adirondack Scenic Railroad stop. Discount tickets to Water Safari i…

The closest boat launch and marina to town offering pontoon, ski, knee board and tube rentals, as well as the Big Banana.

Private charter boat specializing in stripped bass, bluefish, sharks and tuna.

Pictures, biography, and history on the constant love in Bogie's life, The Santana sail boat.

Canoeing, boat rental, kayaking, and eco tours. Schedule and fees, guide background and contact information.

Includes newsletters, photo gallery, boat for sale page, events listing and contact information.

Offers boat building plans for taped seam plywood boats.

Offers year round vacation rental cabins and chalets. Also provides boat, snowmobile, waverunner, and ice shanty rentals.

Specializing in Lyman wood boat repair and restoration.

Offers easy plans for a small wooden Louisiana cajun-style bayou boat, a pirogue.

Charter boat in New York. Cruises from Mangattan (NYC), Queens (NYC, Long Island and New Jersey. Dining capacity range from 50 to 100 guests. Cuisine service available.

Offers boat hunts for brown bear, mountain goats, and black bear, along with fishing charters for king salmon and halibut. Includes trips available and contact information.

Computational Logic, Implementation, and Parallelism Lab.

Displays pictures,boat layouts,cruising guides for safe and easy navagation.

Fly Fishing guide service offering full and half day guided tours, lessons and boat rentals. Biographies and pricing.

University of Marseille II - Linear logic, lambda calculus, proof theory, term rewriting. Lafont invented the theory of interaction nets, an elegant theory of graph rewriting.

…roviding object-oriented representations and algorithms for logic, mathematics and artificial intelligence. It comprises theorem proving, computer algebra, search and planning, as well as learning algorithms.…